The git-update-ghpages script comes from
https://github.com/rstacruz/git-update-ghpages. It is modified to fix syntax
errors, as reported in this
[issue](https://github.com/rstacruz/git-update-ghpages/issues/1), and
prevent failures when there's nothing to commit.