Skip to content
Permalink
Browse files

run doc bot action on merge only

  • Loading branch information
3nids committed Jan 4, 2020
1 parent c367e77 commit 969fb3b09089179d2267f45c3ff423db81d11c85
Showing with 3 additions and 2 deletions.
  1. +3 −2 .github/workflows/pr_to_doc_issue.yml
@@ -4,14 +4,15 @@ name: Documentation issue for labeled PR
on:
pull_request:
types:
- labeled
- closed

jobs:
pr2docissue:
if: github.event.pull_request.merged && contains( github.event.pull_request.labels.*.name, 'Needs Documentation')
runs-on: ubuntu-latest
name: Create issue on doc repo for labeled issue
steps:
- name: Clear GH Token
if: github.event.label.name == 'Documentation'
id: token
uses: opengisch/clear-token@v1.0.12
with:

0 comments on commit 969fb3b

Please sign in to comment.
You can’t perform that action at this time.