Skip to content

Commit

Permalink
Improve wording of doc issues
Browse files Browse the repository at this point in the history
Use "Title (Request in QGIS)" rather than "Request in QGIS (Title)" for new documentation issues.
  • Loading branch information
m-kuhn committed Mar 24, 2020
1 parent 090fdf8 commit 4414ca7
Showing 1 changed file with 12 additions and 2 deletions.
14 changes: 12 additions & 2 deletions .github/workflows/pr_to_doc_issue.yml
Expand Up @@ -84,7 +84,7 @@ jobs:
token: ${{ steps.token.outputs.token }}
owner: qgis
repo: QGIS-Documentation
title: ${{ format('Request in QGIS ({0})', github.event.pull_request.title) }}
title: ${{ format('{0} (Request in QGIS)', github.event.pull_request.title) }}
# do not modify the QGIS version, an action automatically creates a label in the doc repo
# this is not possible to set labels directly due to security reasons
# the token is in clear, so no rights are given to qgis-bot
Expand All @@ -104,7 +104,17 @@ jobs:
# write comment to ping the PR author
- name: Create comment
if: github.event.pull_request.merged && ( ( github.event.action == 'closed' && contains( github.event.pull_request.labels.*.name, 'Needs Documentation') ) || github.event.label.name == 'Needs Documentation' )
if: github.event.pull_request.merged && ( ( github.event.action
# write comment to ping the PR author
- name: Create comment
uses: peter-evans/create-or-update-comment@v1
with:
token: ${{ steps.token.outputs.token }}
issue-number: ${{ github.event.pull_request.number }}
body: |
@${{ github.event.pull_request.user.login }}
This pull request has been tagged as **requiring documentation**.
A documentation== 'closed' && contains( github.event.pull_request.labels.*.name, 'Needs Documentation') ) || github.event.label.name == 'Needs Documentation' )
uses: peter-evans/create-or-update-comment@v1
with:
token: ${{ steps.token.outputs.token }}
Expand Down

0 comments on commit 4414ca7

Please sign in to comment.