Merge branch 'pb/request-pull-verify-remote-ref'
commitdedc04642184761be54d0a861174840918e5b606
authorJunio C Hamano <gitster@pobox.com>
Mon, 17 Jun 2019 17:15:20 +0000 (17 10:15 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 17 Jun 2019 17:15:20 +0000 (17 10:15 -0700)
tree8302182419f69925110ad3ba396a9f65c5431eea
parentadd59c4708cd629a6ee3175f0e0a796cc9b6db28
parent0454220d66581f28b9688bc1b687f52cb9561798
Merge branch 'pb/request-pull-verify-remote-ref'

"git request-pull" learned to warn when the ref we ask them to pull
from in the local repository and in the published repository are
different.

* pb/request-pull-verify-remote-ref:
  request-pull: warn if the remote object is not the same as the local one
  request-pull: quote regex metacharacters in local ref