[dev] Fix the gh-pages publishing logic
[dev] Add some comments to publish-gh-pages.sh