diff options
| author | Junio C Hamano <gitster@pobox.com> | 2019-06-17 10:15:20 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-06-17 10:15:20 -0700 |
| commit | dedc04642184761be54d0a861174840918e5b606 (patch) | |
| tree | 8302182419f69925110ad3ba396a9f65c5431eea /builtin/commit.c | |
| parent | add59c4708cd629a6ee3175f0e0a796cc9b6db28 (diff) | |
| parent | 0454220d66581f28b9688bc1b687f52cb9561798 (diff) | |
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
Diffstat (limited to 'builtin/commit.c')
0 files changed, 0 insertions, 0 deletions