I replied upthread, but I made a mistake reading https://docs.github.com/en/github/working-with-github-pages/... when revisiting what I remembered, and I was just looking at it from the perspective of private repos. My bad!

Oh right, good point. The repo had to be public until very recently.