2022-01-14 17:47:02 +00:00
|
|
|
# If someone with write access comments "/ok-to-test-managed" on a pull request, emit a repository_dispatch event
|
|
|
|
name: Ok To Test
|
|
|
|
|
|
|
|
on:
|
|
|
|
issue_comment:
|
|
|
|
types: [created]
|
|
|
|
|
2024-01-18 20:03:07 +00:00
|
|
|
permissions:
|
|
|
|
contents: read
|
|
|
|
|
2022-01-14 17:47:02 +00:00
|
|
|
jobs:
|
|
|
|
ok-to-test-managed:
|
2024-01-18 20:03:07 +00:00
|
|
|
permissions:
|
|
|
|
pull-requests: write # for peter-evans/slash-command-dispatch to create PR reaction
|
2022-01-14 17:47:02 +00:00
|
|
|
runs-on: ubuntu-latest
|
|
|
|
# Only run for PRs, not issue comments
|
|
|
|
if: ${{ github.event.issue.pull_request }}
|
|
|
|
steps:
|
|
|
|
# Generate a GitHub App installation access token from an App ID and private key
|
|
|
|
# To create a new GitHub App:
|
|
|
|
# https://developer.github.com/apps/building-github-apps/creating-a-github-app/
|
|
|
|
# See app.yml for an example app manifest
|
|
|
|
- name: Generate token
|
|
|
|
id: generate_token
|
2024-01-18 20:03:07 +00:00
|
|
|
uses: tibdex/github-app-token@3beb63f4bd073e61482598c45c71c1019b59b73a # v2.1.0
|
2022-01-14 17:47:02 +00:00
|
|
|
with:
|
|
|
|
app_id: ${{ secrets.APP_ID }}
|
|
|
|
private_key: ${{ secrets.PRIVATE_KEY }}
|
|
|
|
|
|
|
|
- name: Slash Command Dispatch
|
2024-02-06 00:25:24 +00:00
|
|
|
uses: peter-evans/slash-command-dispatch@13bc09769d122a64f75aa5037256f6f2d78be8c4 # v4.0.0
|
2022-01-14 17:47:02 +00:00
|
|
|
env:
|
|
|
|
TOKEN: ${{ steps.generate_token.outputs.token }}
|
|
|
|
with:
|
|
|
|
token: ${{ env.TOKEN }} # GitHub App installation access token
|
|
|
|
# token: ${{ secrets.PERSONAL_ACCESS_TOKEN }} # PAT or OAuth token will also work
|
|
|
|
reaction-token: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
issue-type: pull-request
|
|
|
|
commands: ok-to-test-managed
|
|
|
|
permission: maintain
|