Andrew's git
/
gitweb.git
/ diff
summary
|
log
|
commit
| diff |
tree
commit
grep
author
committer
pickaxe
?
re
Merge branch 'mm/push-force-is-dangerous' into maint
author
Junio C Hamano
<gitster@pobox.com>
Fri, 19 Jul 2013 17:42:46 +0000
(10:42 -0700)
committer
Junio C Hamano
<gitster@pobox.com>
Fri, 19 Jul 2013 17:42:46 +0000
(10:42 -0700)
* mm/push-force-is-dangerous:
Documentation/git-push.txt: explain better cases where --force is dangerous
1
2
Documentation/git-push.txt
patch
|
diff1
|
diff2
|
blob
|
history
raw
|
combined
(merge:
52c1999
70495b5
)
diff --cc
Documentation/git-push.txt
Simple merge