Martin Langhoff wrote:
> On Sat, May 4, 2013 at 3:34 AM, Johannes Sixt <> wrote:

>> Since git 1.8.0 you can express this check as
>>     if git merge-base --is-ancestor $production_sha1 refs/heads/master
> Ah, that's great! Unfortunate it's not there in earlier / more widely
> used releases of git.

Another trick is to use "git push":

        git push . $production_sha1:refs/heads/master

This advances the "master" branch if

 (1) it is not the current branch, and
 (2) that update is a fast-forward

It can be convenient sometimes.

Hope that helps,
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to
More majordomo info at

Reply via email to