diff options
author | Jeff King <peff@peff.net> | 2024-06-14 06:30:05 -0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2024-06-14 09:34:38 -0700 |
commit | bd1b88dc7aedb44561559e88cde0dd7bad78e2ae (patch) | |
tree | 0c35b67b8bff8127826bcfa76eb66635939fd0c9 /commit-graph.c | |
parent | b68118d2e85eef7aa993ef8e944e53b5be665160 (diff) |
config: document remote.*.url/pushurl interaction
The documentation for these keys gives a very terse definition and
points you to the fetch/push manpages. But from reading those pages it
was not at all obvious to me that:
- these are keys that can be defined multiple times with meaningful
behavior (especially remote.*.url)
- the way that pushurl overrides url (the git-push page does mention
that "pushurl defaults to url", but it is not immediately clear what
a multi-valued url would do in that situation).
Let's try to summarize the current behavior.
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'commit-graph.c')
0 files changed, 0 insertions, 0 deletions