diff options
| author | Junio C Hamano <gitster@pobox.com> | 2019-07-25 14:27:11 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-07-25 14:27:11 -0700 |
| commit | 58f34846d5858908b365011d17f1c552b4ad7fad (patch) | |
| tree | 7d8737874306491d37f121464dfcbfc5743a46ef /builtin/commit-graph.c | |
| parent | 0eb2774b25641d797ffb09a884b85e93a6563648 (diff) | |
| parent | 0454220d66581f28b9688bc1b687f52cb9561798 (diff) | |
Merge branch 'pb/request-pull-verify-remote-ref' into maint
"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-graph.c')
0 files changed, 0 insertions, 0 deletions