push.sh deleted because functionality now in git hooks