master: 680abe9a9804d5b80fad12d910910b8c3123a0ca Changes to github.rb for GitHub Pages publishing