Merge branch 'ph/push-doc-cas'
commit31137f54dbf2436eba705f9d57f4a1fa4a6861b9
authorJunio C Hamano <gitster@pobox.com>
Sat, 28 Mar 2015 16:37:53 +0000 (28 09:37 -0700)
committerJunio C Hamano <gitster@pobox.com>
Sat, 28 Mar 2015 16:37:53 +0000 (28 09:37 -0700)
treeb6670f4af92d0f21b7283a23dadeb6a53b26d1da
parent3a183520b2f5cd3db708f8d6a5b7aaba2c1779e7
parentfddfaf8a229710c50aeaacf6e40429965348493e
Merge branch 'ph/push-doc-cas'

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