Revert push_branch.sh change

Made a change to push_branch.sh and accidentally pushed it. Because that's what the script does. It pushes.