From: Sven Herzberg <sven@imendio.com>
Date: Tue, 09 Oct 2007 19:26:07 GMT
Subject: Proposed command: git-sync
Message-ID: <470BD5CF.9050201@imendio.com>

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