cr-publish-flight-logs: Provide ref path for osstest branch push

Without this, the push fails if the osstest tree is in detached head
state.  (Which is a situation which can occur during by-hand testing.)

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>

diff --git a/cr-publish-flight-logs b/cr-publish-flight-logs
index f971522c357c9638c5871c3b2e6f69397184eabf..1feb52d621e6a9b246e23004960ccc24514e140f 100755 (executable)
--- a/cr-publish-flight-logs
+++ b/cr-publish-flight-logs
@@ -43,7 +43,7 @@ if ($push_harness) {
     my $githost= $c{HarnessPublishGitUserHost};
     my $gitdir= $c{HarnessPublishGitRepoDir};
 
-    system_checked("git push $githost:$gitdir HEAD:flight-$flight");
+    system_checked("git push $githost:$gitdir HEAD:refs/heads/flight-$flight");
     system_checked("ssh $githost 'cd $gitdir && git update-server-info'");
 }