Merge branch 'mm/push-force-is-dangerous'
commit14c6ee99aeefe4420afeb89b725e05dde806ec60
authorJunio C Hamano <gitster@pobox.com>
Wed, 26 Jun 2013 22:07:38 +0000 (26 15:07 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 26 Jun 2013 22:07:38 +0000 (26 15:07 -0700)
tree8f035f4a64e61bb9ce896bb7ef8c53c2d5e25265
parent4f9ec8dd23ca463c4da782c11cea7a18ec111e15
parent70495b556f5685afe0e41988e42d48b2331d77a0
Merge branch 'mm/push-force-is-dangerous'

* mm/push-force-is-dangerous:
  Documentation/git-push.txt: explain better cases where --force is dangerous
Documentation/git-push.txt