latest 8 messages by boobooo

+ [2020-06-07T18:50:36Z] boobooo I had to choose a jekyll theme even if I dont use it
+ [2020-06-07T18:29:36Z] boobooo or perhaps I need index.md instead of index.html??? :(
+ [2020-06-07T18:26:15Z] boobooo nedbat could this be related to the fact that the repository started private and then was changed to public?
+ [2020-06-07T18:25:40Z] boobooo since ~12h
+ [2020-06-07T18:25:25Z] boobooo nedbat there is a message " Your GitHub Pages site is currently being built from the master branch. Learn more.User pages must be built from the master branch."
+ [2020-06-07T18:22:55Z] boobooo ideas? :(
+ [2020-06-07T18:22:52Z] boobooo after ~12h the website is still not working (404)
+ [2020-06-07T18:22:38Z] boobooo hi, I created a new repository with the name user.github.io, added index.html, changed from private to public