commit | 73b21d470c2337e0f6239f77561f4ee7a3d16cb3 | [log] [tgz] |
---|---|---|
author | Pedro Moreira <pdcmoreira@gmail.com> | Mon Sep 30 16:18:48 2019 +0100 |
committer | Pedro Moreira <pdcmoreira@gmail.com> | Mon Sep 30 16:18:48 2019 +0100 |
tree | ebc53885c3f83401097f1f9dbb8b8186e3f6fe20 | |
parent | fda0dee57f3e5a73ec19886b124e9e77ecd09ef1 [diff] |
Publish tags
diff --git a/start.sh b/start.sh index c3c2571..51260d7 100755 --- a/start.sh +++ b/start.sh
@@ -6,4 +6,4 @@ }; 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;