Merge branch 'mm/push-force-is-dangerous' into maint

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

Junio C Hamano committed Jul 19, 2013 at 10:42 UTC bd54df07165cedf36b02982fde9521c1536c5cc2

No changes.