Changed PushToGit.sh's file name to something shorter so pushes are quicker.