A shell script which pushes everything everywhere in one command. Two git commands per server: One to push the code, and one to push the tags.