mirror of
https://github.com/git/git.git
synced 2026-03-06 23:37:41 +01: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