push.sh now serves *3* remotes

push.sh

 #!/bin/bash
 
 git push
+
 git checkout gl-pages
 git merge master
 git push
+
+git checkout public
+git merge master
+git push
+
 git checkout master