github fetcher: Don't use HEAD branch when cloning

Fixes #4394.

1 files changed, 2 insertions, 2 deletions

diff --git a/src/libfetchers/github.cc b/src/libfetchers/github.cc
index 06b56d60d..da759addf 100644
--- a/src/libfetchers/github.cc
+++ b/src/libfetchers/github.cc
@@ -275,7 +275,7 @@ struct GitHubInputScheme : GitArchiveInputScheme
         auto host = maybeGetStrAttr(input.attrs, "host").value_or("github.com");
         Input::fromURL(fmt("git+https://%s/%s/%s.git",
                 host, getStrAttr(input.attrs, "owner"), getStrAttr(input.attrs, "repo")))
-            .applyOverrides(input.getRef().value_or("HEAD"), input.getRev())
+            .applyOverrides(input.getRef(), input.getRev())
             .clone(destDir);
     }
 };
@@ -343,7 +343,7 @@ struct GitLabInputScheme : GitArchiveInputScheme
         // FIXME: get username somewhere
         Input::fromURL(fmt("git+https://git@%s/%s/%s.git",
                 host, getStrAttr(input.attrs, "owner"), getStrAttr(input.attrs, "repo")))
-            .applyOverrides(input.getRef().value_or("HEAD"), input.getRev())
+            .applyOverrides(input.getRef(), input.getRev())
             .clone(destDir);
     }
 };