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 /commit.h | |
| parent | a650ff5aecf4be98c78ccfcae388a8d4029a46cf (diff) | |
| parent | ea1954af771253660cd84dc73b8f2832327c9c02 (diff) | |
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 'commit.h')
0 files changed, 0 insertions, 0 deletions