From 49b4e7b0df873f14a0e103e86c8393be0269b7b3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Alessandro=20Pezz=C3=A8?= Date: Thu, 23 Apr 2020 21:51:17 +0200 Subject: [PATCH] play: better token name --- Resources/scripts/updater.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Resources/scripts/updater.sh b/Resources/scripts/updater.sh index 6961cef5..a911c09b 100644 --- a/Resources/scripts/updater.sh +++ b/Resources/scripts/updater.sh @@ -57,13 +57,13 @@ EOF } create_pr() { - pr_number=$(curl -H "Authorization: token $GITHUB_API_TOKEN" -X POST --data "$(pr_content)" "https://api.github.com/repos/$org/$data_repo/pulls" | jq '.number') + pr_number=$(curl -H "Authorization: token $MACHINE_USER_GITHUB_API_TOKEN" -X POST --data "$(pr_content)" "https://api.github.com/repos/$org/$data_repo/pulls" | jq '.number') echo pr_number } assign_pr() { pr_number=$1 - curl -H "Authorization: token $GITHUB_API_TOKEN" -X POST --data "$(reviewers)" "https://api.github.com/repos/$org/$data_repo/pulls/$pr_number/requested_reviewers" + curl -H "Authorization: token $MACHINE_USER_GITHUB_API_TOKEN" -X POST --data "$(reviewers)" "https://api.github.com/repos/$org/$data_repo/pulls/$pr_number/requested_reviewers" } prepare