Andrew's git
/
gitweb.git
/ diff
summary
|
log
|
commit
| diff |
tree
commit
grep
author
committer
pickaxe
?
re
Merge branch 'aw/push-force-with-lease-reporting' into maint
author
Junio C Hamano
<gitster@pobox.com>
Wed, 17 Feb 2016 18:03:40 +0000
(10:03 -0800)
committer
Junio C Hamano
<gitster@pobox.com>
Wed, 17 Feb 2016 18:03:40 +0000
(10:03 -0800)
"git push --force-with-lease" has been taught to report if the push
needed to force (or fast-forwarded).
* aw/push-force-with-lease-reporting:
push: fix ref status reporting for --force-with-lease
raw
|
combined
(merge:
88221d9
b2e93f8
)
Trivial merge