From: Alex Riesen <raa.lkml@gmail.com>
Date: Wed, 20 Aug 2008 20:37:58 GMT
Subject: Re: Local branch ahead of tracked remote branch but git push claims everything up-to-date
Message-ID: <20080820203758.GI16626@blimp.local>
In-Reply-To: <1219263969579-736663.post@n2.nabble.com>

ir0s, Wed, Aug 20, 2008 22:26:09 +0200:
> $ git push origin remotebranch
> Everything up-to-date

Just (assuming that tracking information is correct)

    git push

or (if you want to be absolutely sure, and be able to find and
understand the fact afterwards in your shells history)

    git push origin HEAD:remotebranch