blueprint Jekyll website build failure

Stream: new members

[Kalle Kytölä]

A week or so ago, I bumbed VirasoroProject to a recent Lean and Mathlib, and the blueprint compilation broke. I have since tried to start from scratch with the blueprint, twice, without succeeding. The blueprint compiles and renders perfectly well locally, but fails in GitHub actions. If anyone who understands these things is able to tell me what the problem is, I will be very grateful.

There is definitely a possibility that I may have configured something incorrectly (for such computer tools and Github workflows, I am relying on pure cargo-culting). But I essentially accepted the default settings of leanblueprint new, so I wonder if there is something in the default settings of leanblueprint web site generation that is currently broken (I am not thinking of a bug in leanblueprint itself since it works locally, but perhaps some incompatibility in the dependencies of the GitHub workflow that it creates?).

At stage Build website using Jekyll of the GitHub actions run, I get errors starting with:

Run JEKYLL_ENV=production bundle exec jekyll build
Configuration file: /home/runner/work/VirasoroProject/VirasoroProject/home_page/_config.yml
            Source: /home/runner/work/VirasoroProject/VirasoroProject/home_page
       Destination: /home/runner/work/VirasoroProject/VirasoroProject/home_page/_site
 Incremental build: disabled. Enable with --incremental
      Generating...
      Remote Theme: Using theme pages-themes/cayman
  Liquid Exception: "/" is invalid as a repository identifier. Use the user/repo (String) format, or the repository ID (Integer), or a hash containing :repo and :user keys. in /_layouts/default.html
jekyll 3.9.2 | Error:  "/" is invalid as a repository identifier. Use the user/repo (String) format, or the repository ID (Integer), or a hash containing :repo and :user keys.
/home/runner/work/VirasoroProject/VirasoroProject/home_page/vendor/bundle/ruby/3.0.0/gems/octokit-4.22.0/lib/octokit/repository.rb:92:in `raise_invalid_repository!': "/" is invalid as a repository identifier. Use the user/repo (String) format, or the repository ID (Integer), or a hash containing :repo and :user keys. (Octokit::InvalidRepository)
...

Does anyone understand what is going wrong?

Thanks in advance!