Added the executable bit to push.sh