search

w3c / manual-of-style

The W3C Manual of Style
https://www.w3.org/Guide/manual-of-style/
Other
9 stars 13 forks source link

Change main branch to “gh-pages” #2

Closed tripu closed 8 years ago

tripu commented 8 years ago

…and get rid of master, so that w3c.github.io/manual-of-style works, as suggested in a8766c52c592886d027cdffedf81b82ed0ba3feb.

sideshowbarker commented 8 years ago

Isn’t the repo is already set up to mirror from master to https://w3c.github.io/manual-of-style/ ?

https://w3c.github.io/manual-of-style/Overview.html works at least.

I think the only reason https://w3c.github.io/manual-of-style/ by itself doesn’t is because github only does that if the filename is index.html.

tripu commented 8 years ago

Oh. I missed the news. It used to be that only gh-pages could be served like that. OK, then :)