Update scripts to use PULL_REQUEST_ID

2020-06-24 13:11:33 +01:00
parent 81d346f006
commit 5e958f6074
4 changed files with 7 additions and 3 deletions
--- a/scripts/send-to-bot.py
+++ b/scripts/send-to-bot.py
@@ -74,7 +74,7 @@ def main(action):

 if __name__ == '__main__':
  REPO_SLUG = os.environ.get('GITHUB_REPOSITORY')
-  PR_ID = os.environ.get('TRAVIS_PULL_REQUEST')
+  PR_ID = os.environ.get('PULL_REQUEST_ID')
  BUILD_ID = os.environ.get('GITHUB_RUN_ID')

  if PR_ID is None or BUILD_ID is None or REPO_SLUG is None: