Proposed command: git-sync

[Sven Herzberg <sven@xxxxxxxxxxx>]

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