diff options
author | Joey Hess <joey@kitenet.net> | 2011-12-30 18:04:01 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2011-12-30 18:04:01 -0400 |
commit | f2fa29bf3bb3d54b9c4d789b36d04ba693dee53a (patch) | |
tree | a23d3af141c1e716a23dc1fac77a38c5d55d1b78 /Git.hs | |
parent | 9d85baa31425e04f0eb79e43c09c8d4e4a414c6b (diff) |
check if branches are up-to-date before merging, pushing
This optimises away the need to run anything in some common cases.
It's particularly useful on push; no need to push if the tracking branch
we just pulled is the same as the branch we're going to push.
Diffstat (limited to 'Git.hs')
0 files changed, 0 insertions, 0 deletions