mirror of
https://git.joinsharkey.org/Sharkey/Sharkey.git
synced 2024-11-14 11:33:09 +02:00
36 lines
1.2 KiB
YAML
36 lines
1.2 KiB
YAML
# If someone with write access comments "/ok-to-test" on a pull request, emit a repository_dispatch event
|
|
name: Ok To Test
|
|
|
|
on:
|
|
issue_comment:
|
|
types: [created]
|
|
|
|
jobs:
|
|
ok-to-test:
|
|
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
|
|
uses: tibdex/github-app-token@v1
|
|
with:
|
|
app_id: ${{ secrets.DEPLOYBOT_APP_ID }}
|
|
private_key: ${{ secrets.DEPLOYBOT_PRIVATE_KEY }}
|
|
|
|
- name: Slash Command Dispatch
|
|
uses: peter-evans/slash-command-dispatch@v1
|
|
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: deploy
|
|
named-args: true
|
|
permission: write
|