on second thought, the 'push' script does not belong in the repo.