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 /gitweb/static/js | |
| parent | ccd3258b4d6af2f7b9b331a09543fdc8325ff170 (diff) | |
| parent | ea1954af771253660cd84dc73b8f2832327c9c02 (diff) | |
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 'gitweb/static/js')
0 files changed, 0 insertions, 0 deletions