diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2021-11-23 14:48:04 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2021-11-23 14:48:04 -0800 |
| commit | ad03180c5cf233b2de6b7e3388d96d2126d7a5d9 (patch) | |
| tree | 27651d488d9f3829abbf8e4c1581833a222d361d /Documentation/user-manual.conf | |
| parent | Merge branch 'hm/paint-hits-in-log-grep' into maint (diff) | |
| parent | pull: should be noop when already-up-to-date (diff) | |
| download | tgif-ad03180c5cf233b2de6b7e3388d96d2126d7a5d9.tar.xz | |
Merge branch 'ev/pull-already-up-to-date-is-noop' into maint
"git pull" with any strategy when the other side is behind us
should succeed as it is a no-op, but doesn't.
* ev/pull-already-up-to-date-is-noop:
pull: should be noop when already-up-to-date
Diffstat (limited to 'Documentation/user-manual.conf')
0 files changed, 0 insertions, 0 deletions