git: Support HEAD as ref when mirroring a repo

This is useful to reference whatever is currently checked out in a local repo.
2017-11-06 14:27:25 +01:00 · 2017-11-06 14:27:25 +01:00 · e7287852ad
parent 01bdfd7d82
commit e7287852ad
1 changed files with 1 additions and 0 deletions
--- a/src/builder-git.c
+++ b/src/builder-git.c
@ -201,6 +201,7 @@ lookup_full_ref (GHashTable *refs, const char *ref)
 {
  int i;
  const char *prefixes[] = {
+    "",
    "refs/",
    "refs/tags/",
    "refs/heads/"