Publish tags

This commit is contained in:
Pedro Moreira 2019-09-30 16:18:48 +01:00
parent fda0dee57f
commit 73b21d470c

View File

@ -6,4 +6,4 @@ echo "Push to branch ${INPUT_BRANCH:=master}";
};
header=$(echo -n "ad-m:${INPUT_GITHUB_TOKEN}" | base64)
git -c http.extraheader="AUTHORIZATION: basic $header" push origin HEAD:${INPUT_BRANCH};
git -c http.extraheader="AUTHORIZATION: basic $header" push origin HEAD:${INPUT_BRANCH} --follow-tags;