Use Docker Hub build

2020-04-15 22:14:18 -07:00
parent 96351a72c0
commit 3f75d01226
3 changed files with 19 additions and 14 deletions
--- a/push-tag.sh
+++ b/push-tag.sh
@@ -0,0 +1,11 @@
+#!/bin/bash
+
+set -ex
+
+source ./releaserc
+
+git config --local user.email "actions@github.com"
+git config --local user.name "Github Action"
+git tag -a "r${RELEASE}" -m "Release ${RELEASE}"
+REMOTE_REPO="https://${GITHUB_ACTOR}:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git"
+git push "${REMOTE_REPO}" "r${RELEASE}"