From a56d01e85fbf4e3f40593a8878f5b6b9859920d6 Mon Sep 17 00:00:00 2001 From: Carly Gundy Date: Thu, 16 Jan 2025 17:15:00 +0100 Subject: [PATCH] debug --- .github/workflows/internal_vs_external.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/internal_vs_external.yml b/.github/workflows/internal_vs_external.yml index 887d693..681972c 100644 --- a/.github/workflows/internal_vs_external.yml +++ b/.github/workflows/internal_vs_external.yml @@ -58,7 +58,7 @@ jobs: - name: Dismiss Pull Request Reviews run: | #!/bin/bash - set -euo pipefail + set -euox pipefail # REMOVE -x later! reviews=$(curl -s -H "Authorization: token ${GH_TOKEN}" \ "https://api.github.com/repos/${GH_ORG}/${REPO}/pulls/${PULL_NUMBER}/reviews")