Merge branch 'aw/push-force-with-lease-reporting'
commit24abb31727e8e0b216bdee182dbbbbc43d134fa6
authorJunio C Hamano <gitster@pobox.com>
Wed, 10 Feb 2016 22:20:08 +0000 (10 14:20 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 10 Feb 2016 22:20:08 +0000 (10 14:20 -0800)
treece40204a36f89e5344b906918238495954cef4db
parenta3764e7da7ae2c30e2e1bbeaa0961a17bced2078
parentb2e93f88cb94f487650beb93ff87ceb7ab68a0ed
Merge branch 'aw/push-force-with-lease-reporting'

"git push --force-with-lease" has been taught to report if the push
needed to force (or fast-forwarded).

* aw/push-force-with-lease-reporting:
  push: fix ref status reporting for --force-with-lease
remote.c