Merge branch 'pb/request-pull-verify-remote-ref'
authorJunio C Hamano <gitster@pobox.com>
Mon, 17 Jun 2019 17:15:20 +0000 (10:15 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 17 Jun 2019 17:15:20 +0000 (10:15 -0700)
"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


Trivial merge