Merge branch 'ph/push-doc-cas' into maint
commita78fc4af8246e06de4fc10f685a84778cf33aa12
authorJunio C Hamano <gitster@pobox.com>
Tue, 31 Mar 2015 21:52:23 +0000 (31 14:52 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 31 Mar 2015 21:52:24 +0000 (31 14:52 -0700)
tree823387ba4ba96d3250edcc0e1a71ce6c2f3e68a5
parent2c97724d5ea59677b18b7a1cc50a250b6ff459e5
parentfddfaf8a229710c50aeaacf6e40429965348493e
Merge branch 'ph/push-doc-cas' into maint

* ph/push-doc-cas:
  git-push.txt: clean up force-with-lease wording
Documentation/git-push.txt