Martin Langhoff wrote:
> On Sat, May 4, 2013 at 3:34 AM, Johannes Sixt <j...@kdbg.org> 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 majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html