2020-10-17 14:12:47 +02:00
|
|
|
name: TagBot
|
|
|
|
|
on:
|
2022-11-07 18:48:26 +01:00
|
|
|
issue_comment: # THIS BIT IS NEW
|
|
|
|
|
types:
|
|
|
|
|
- created
|
|
|
|
|
workflow_dispatch:
|
2020-10-17 14:12:47 +02:00
|
|
|
jobs:
|
|
|
|
|
TagBot:
|
2022-11-07 18:48:26 +01:00
|
|
|
# THIS 'if' LINE IS NEW
|
|
|
|
|
if: github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot'
|
|
|
|
|
# NOTHING BELOW HAS CHANGED
|
2020-10-17 14:12:47 +02:00
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
|
|
|
|
- uses: JuliaRegistries/TagBot@v1
|
|
|
|
|
with:
|
|
|
|
|
token: ${{ secrets.GITHUB_TOKEN }}
|
2022-11-07 18:48:26 +01:00
|
|
|
# ssh: ${{ secrets.DOCUMENTER_KEY }}
|
