ap-common: Have ap-push for linux trees use refs/heads/

As per the docs in README.dev.

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>

diff --git a/ap-common b/ap-common
index e2c3e42d3c4b4f28c68ba569c3de879586f602d4..014dd76fa8162800096f34fba543d0bb06185a52 100644 (file)
--- a/ap-common
+++ b/ap-common
@@ -136,7 +136,7 @@ info_linux_tree () {
        : ${BASE_TREE_LINUX_THIS:=$BASE_TREE_LINUX}
        : ${PUSH_TREE_LINUX_THIS:=$PUSH_TREE_LINUX}
        : ${BASE_TAG_LINUX_THIS:=tested/$1}
-       : ${PUSH_TAG_LINUX_THIS:=$BASE_TAG_LINUX_THIS}
+       : ${PUSH_TAG_LINUX_THIS:=refs/heads/$BASE_TAG_LINUX_THIS}
 
        return 0
 }