Skip to content

TagBot trigger issue #2309

TagBot trigger issue

TagBot trigger issue #2309

name: PR Comment Responder
on:
issue_comment:
types: [created] # Trigger when comment is created on issue or PR
jobs:
mentioned:
runs-on: ubuntu-latest
if: contains(github.event.comment.body, '@JuliaControlBot test-plots') # Only run if requested
steps:
- id: get_user_permissons # Get permissions for user who commented
uses: octokit/[email protected]
with:
route: GET /repos/JuliaControl/ControlSystems.jl/collaborators/:user/permission
user: ${{ github.event.comment.user.login }}
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # This is a short-time token generated by github
- id: parse_permisson # Parse permissions for user who commented, save in "outputs.permission"
uses: gr2m/[email protected]
with:
json: ${{ steps.get_user_permissons.outputs.data }}
permission: "permission"
- name: Is admin # For debugging, check if admin
if: steps.parse_permisson.outputs.permission == 'admin'
run: |
echo Is admin
- name: Is PR # For debugging, check if comment is in PR
if: github.event.issue.pull_request != null
run: |
echo Is PR
- name: PR ping ControlExamplePlots # Post the ping to ControlExamplePlots to handle, using secret key for JuliaControlBot
if: github.event.issue.pull_request != null && steps.parse_permisson.outputs.permission == 'admin'
run: |
curl -X POST https://api.github.com/repos/JuliaControl/ControlExamplePlots.jl/dispatches \
-H 'Accept: application/vnd.github.everest-preview+json' \
-u ${{ secrets.ACCESS_TOKEN_BOT }} \
--data '{"event_type": "prupdate", "client_payload": { "repository": "'"$GITHUB_REPOSITORY"'", "pr_number": ${{ github.event.issue.number }} }}'