Subject: Re: Local branch ahead of tracked remote branch but git push claims everything up-to-date

From: Alex Riesen <[email-masked]>
Date: Wed, 20 Aug 2008 22:37:58 +0200

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