File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ auhlig
2+ umswmayj
3+ juliusclausnitzer
4+ mblos
5+ PhilippMatthes
6+ Varsius
7+ henrichter
Original file line number Diff line number Diff line change 1111 types : [submitted]
1212
1313jobs :
14+ check-allowlist :
15+ runs-on : ubuntu-latest
16+ outputs :
17+ allowed : ${{ steps.check.outputs.allowed }}
18+ steps :
19+ - uses : actions/checkout@v4
20+ with :
21+ fetch-depth : 1
22+ - name : Check sender against allowlist
23+ id : check
24+ run : |
25+ if grep -qxF "${{ github.event.sender.login }}" \
26+ <(grep -v '^#' .github/claude-allowed-users | sed '/^[[:space:]]*$/d'); then
27+ echo "allowed=true" >> $GITHUB_OUTPUT
28+ else
29+ echo "allowed=false" >> $GITHUB_OUTPUT
30+ fi
31+
1432 claude :
15- if : github.event.sender.type == 'User'
33+ needs : check-allowlist
34+ if : >
35+ github.event.sender.type == 'User' &&
36+ needs.check-allowlist.outputs.allowed == 'true'
1637 runs-on : ubuntu-latest
1738 permissions :
1839 contents : write
You can’t perform that action at this time.
0 commit comments