diff options
| author | Bence Ferdinandy <bence@ferdinandy.com> | 2024-12-05 13:16:22 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2024-12-06 02:59:40 +0900 |
| commit | 012bc566bad79876f4809d1e730a348b419772d0 (patch) | |
| tree | fe711e3876917ee28f1b522158ed41f7608c84d2 /contrib/diff-highlight/DiffHighlight.pm | |
| parent | 9e2b7005becaf730ff75f6efbef4542cc4454107 (diff) | |
| download | git-012bc566bad79876f4809d1e730a348b419772d0.tar.gz | |
remote set-head: set followRemoteHEAD to "warn" if "always"
When running "remote set-head" manually it is unlikely, that the user
would actually like to have "fetch" always update the remote/HEAD. On
the contrary, it is more likely, that the user would expect remote/HEAD
to stay the way they manually set it, and just forgot about having
"followRemoteHEAD" set to "always".
When "followRemoteHEAD" is set to "always" make running "remote
set-head" change the config to "warn".
Signed-off-by: Bence Ferdinandy <bence@ferdinandy.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'contrib/diff-highlight/DiffHighlight.pm')
0 files changed, 0 insertions, 0 deletions