diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2021-11-21 21:57:04 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2021-11-21 21:57:04 -0800 |
| commit | 0f2140f105ded522ebfd784ae3e7f0885302513f (patch) | |
| tree | 27651d488d9f3829abbf8e4c1581833a222d361d /gitk-git | |
| parent | Merge branch 'hm/paint-hits-in-log-grep' (diff) | |
| parent | pull: should be noop when already-up-to-date (diff) | |
| download | tgif-0f2140f105ded522ebfd784ae3e7f0885302513f.tar.xz | |
Merge branch 'ev/pull-already-up-to-date-is-noop'
"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 'gitk-git')
0 files changed, 0 insertions, 0 deletions