Subject: Proposed command: git-sync

From: Sven Herzberg <[email-masked]>
Date: Tue, 09 Oct 2007 21:26:07 +0200

I really regularly find myself typing git pull directly after git push.
That's why I write a small shell script that might be added to the stock
git distribution.

Regards,
  Sven

PS: Please add me to the CC of your replies, I don't read this list.
#!/bin/bash

git push && git pull