Delete pushgit - dupe of push from a long time ago