mirror of
https://github.com/git/git.git
synced 2026-03-01 11:08:45 +00:00
"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
33 KiB
33 KiB