hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-21 22:57:11 +02:00
Code Issues Packages Projects Releases Wiki Activity

Apply suggestions from aibaars

Browse Source 
Co-authored-by: Arthur Baars <aibaars@github.com>
This commit is contained in:
Mariusz Kliber
2022-11-30 15:48:15 +00:00
committed by Mariusz Kliber
parent d2a80ce184
commit 337b85a2d3
1 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
.github/workflows/internal-ci-checks.yml vendored
View File

@@ -12,17 +12,17 @@ jobs:
- name: Set a label to trigger internal CI checks
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
USERNAME: ${{ github.event.pull_request.user.login }}
PR_NUMBER: ${{ github.event.pull_request.number }}
LABEL: "ready-for-internal-ci"
run: |
USERNAME="${{ github.event.pull_request.user.login }}"
LABEL="ready-for-internal-ci"
set +eo pipefail
echo "Checking if user $USERNAME is a member of the CodeQL team"
gh api -H "Accept: application/vnd.github+json" /orgs/github/teams/codeql/memberships/$USERNAME > /dev/null 2>&1
if [ "$?" == 0 ]; then
if [ "$(gh api "/orgs/github/teams/codeql/memberships/$USERNAME" --jq .state)" == "active" ]; then
echo "User $USERNAME is a member of the CodeQL team"
echo "Adding 'ready-for-internal-ci' label"
gh pr edit "${{ github.event.pull_request.number }}" --repo $GITHUB_REPOSITORY --add-label $LABEL
echo "Adding '${LABEL}' label"
gh pr edit "${PR_NUMBER}" --repo "$GITHUB_REPOSITORY" --add-label "$LABEL"
else
echo "User $USERNAME is not a member of the CodeQL team"
echo "To trigger the internal CI, a maintainer needs to add the ready-for-internal-ci label"
echo "To trigger the internal CI, a maintainer needs to add the '${LABEL}' label"
fi