From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 19 Jul 2013 17:42:46 +0000 (-0700)
Subject: Merge branch 'mm/push-force-is-dangerous' into maint
X-Git-Tag: v1.8.3.4~24
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=bd54df07165cedf36b02982fde9521c1536c5cc2;p=git

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
---

bd54df07165cedf36b02982fde9521c1536c5cc2