Tweak push script to not append a bunch of info to revision.txt.