summaryrefslogtreecommitdiffhomepage
path: root/scripts
diff options
context:
space:
mode:
authorAdin Scannell <ascannell@google.com>2019-11-20 15:28:02 -0800
committergVisor bot <gvisor-bot@google.com>2019-11-20 15:39:34 -0800
commitb6a00aa375e674617f1914b90db5ddb222b5a04e (patch)
tree0a56606b85e866230317cd169ea4bc5cde2aa3d5 /scripts
parent012102eefd2b145ddee774cba28e4fa889fadd49 (diff)
Use a GitHub credential for tagging a release.
PiperOrigin-RevId: 281617882
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/release.sh11
1 files changed, 11 insertions, 0 deletions
diff --git a/scripts/release.sh b/scripts/release.sh
index b936bcc77..091abf87f 100755
--- a/scripts/release.sh
+++ b/scripts/release.sh
@@ -34,5 +34,16 @@ declare -r EMAIL=${EMAIL:-${KOKORO_RELEASE_AUTHOR}@google.com}
git config --get user.name || git config user.name "gVisor-bot"
git config --get user.email || git config user.email "${EMAIL}"
+# Provide a credential if available.
+if [[ -v KOKORO_GITHUB_ACCESS_TOKEN ]]; then
+ git config --global credential.helper cache
+ git credential approve <<EOF
+protocol=https
+host=github.com
+username=$(cat "${KOKORO_KEYSTORE_DIR}/${KOKORO_GITHUB_ACCESS_TOKEN}")
+password=x-oauth-basic
+EOF
+fi
+
# Run the release tool, which pushes to the origin repository.
tools/tag_release.sh "${KOKORO_RELEASE_COMMIT}" "${KOKORO_RELEASE_TAG}"