File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -22,18 +22,21 @@ runs:
2222 echo "Pull request description does not contain #discord"
2323 exit 1
2424 fi
25+ shell : bash
2526 - name : Check repository privacy
2627 run : |
2728 if [ "${{ github.event.repository.private }}" = "true" ]; then
2829 echo "Repository is private. Exiting."
2930 exit 1
3031 fi
32+ shell : bash
3133 - name : Check README badge
3234 run : |
3335 if ! grep -q 'Join CodeKeepers' README.md; then
3436 echo "Badge not found in README.md. DM vulps on discord to ask for verification"
3537 exit 1
3638 fi
39+ shell : bash
3740 - name : Verify badge commit author
3841 run : |
3942 line=$(grep -n 'Join CodeKeepers' README.md | cut -d: -f1 | head -n 1)
4346 echo "Badge was not committed by Vulps22. The badge must be committed by Vulps22 to be authentic"
4447 exit 1
4548 fi
49+ shell : bash
4650 - name : Send review request
4751 run : |
4852 curl -X POST https://vulps.co.uk/codekeepers/api/review-request \
4953 -H "Content-Type: application/json" \
5054 -H "Authorization: Bearer ${{ inputs.api_token }}" \
5155 -d "{\"url\": \"${{ github.event.pull_request.html_url }}\", \"username\": \"${{ github.repository_owner }}\"}"
56+ shell : bash
You can’t perform that action at this time.
0 commit comments