diff options
author | Adin Scannell <ascannell@google.com> | 2019-11-20 15:28:02 -0800 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2019-11-20 15:39:34 -0800 |
commit | b6a00aa375e674617f1914b90db5ddb222b5a04e (patch) | |
tree | 0a56606b85e866230317cd169ea4bc5cde2aa3d5 /scripts | |
parent | 012102eefd2b145ddee774cba28e4fa889fadd49 (diff) |
Use a GitHub credential for tagging a release.
PiperOrigin-RevId: 281617882
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/release.sh | 11 |
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}" |