diff options
| author | Bence Ferdinandy <bence@ferdinandy.com> | 2024-11-22 13:28:50 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2024-11-25 11:46:37 +0900 |
| commit | 3f763ddf28d28fe63963991513c8db4045eabadc (patch) | |
| tree | 128738e283defd82ac8e3155745988a41c74937c /unix-socket.c | |
| parent | 9963746c841dc786529827b7b6755d0a3e208ad4 (diff) | |
fetch: set remote/HEAD if it does not exist
When cloning a repository remote/HEAD is created, but when the user
creates a repository with git init, and later adds a remote, remote/HEAD
is only created if the user explicitly runs a variant of "remote
set-head". Attempt to set remote/HEAD during fetch, if the user does not
have it already set. Silently ignore any errors.
Signed-off-by: Bence Ferdinandy <bence@ferdinandy.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'unix-socket.c')
0 files changed, 0 insertions, 0 deletions