Fix git commit bug - use 'commit' instead of 'ci' alais.

bin/push-gh-pages.sh

@@ -8,7 +8,7 @@ git checkout ${GIT_COMMIT:=$(git rev-parse --short HEAD)} #detached head
 # add files from the newly created /release folder
 git add release
 # check in the changes
-git ci -m "Generated from $GIT_COMMIT"
+git commit -m "Generated from $GIT_COMMIT"
 # create a new branch named 'gh-pages-$GIT_COMMIT' with only the code from the /release folder
 git subtree split --prefix release -b gh-pages-$GIT_COMMIT
 # push our bespoke branch to the gh-pages branch