Fix `--push-gh-pages` flag for create_docs.py