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 /Documentation/rev-list-options.txt | |
parent | Merge branch 'mm/p4-unshelve-windows-fix' into maint (diff) | |
parent | request-pull: warn if the remote object is not the same as the local one (diff) | |
download | tgif-58f34846d5858908b365011d17f1c552b4ad7fad.tar.xz |
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 'Documentation/rev-list-options.txt')
0 files changed, 0 insertions, 0 deletions