From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 31 Mar 2015 21:52:23 +0000 (-0700)
Subject: Merge branch 'ph/push-doc-cas' into maint
X-Git-Tag: v2.3.5~3
X-Git-Url: http://git.bitbasher.net/?a=commitdiff_plain;h=a78fc4af8246e06de4fc10f685a84778cf33aa12;p=git.git

Merge branch 'ph/push-doc-cas' into maint

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

a78fc4af8246e06de4fc10f685a84778cf33aa12