Merge branch 'ph/push-doc-cas'
authorJunio C Hamano <gitster@pobox.com>
Sat, 28 Mar 2015 16:37:53 +0000 (09:37 -0700)
committerJunio C Hamano <gitster@pobox.com>
Sat, 28 Mar 2015 16:37:53 +0000 (09:37 -0700)
* ph/push-doc-cas:
git-push.txt: clean up force-with-lease wording

1  2 
Documentation/git-push.txt
Simple merge