mirror of
https://github.com/git/git.git
synced 2026-02-05 11:36:13 +01:00
"git remote update" can take both a single remote nickname and a nickname for remote groups, and the completion script (in contrib/) has been taught about it. * ls/complete-remote-update-names: completion: complete remote names too
63 KiB
63 KiB