Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
backport CI changes to 3.16 (#41760)
  • Loading branch information
3nids committed Feb 23, 2021
1 parent bf2a925 commit 585f04d
Show file tree
Hide file tree
Showing 4 changed files with 41 additions and 84 deletions.
8 changes: 4 additions & 4 deletions .github/workflows/pr-auto-milestone.yml
@@ -1,9 +1,9 @@
name: Auto set milestone on PR
name: PR set milestone

# this job is scheduled to be run with proper rights
on:
schedule:
- cron: '* */1 * * *'
pull_request_target:
types:
- opened

env:
QGIS_MAJOR_VERSION: 3
Expand Down
37 changes: 0 additions & 37 deletions .github/workflows/pr-needs-docs-message.yml

This file was deleted.

@@ -1,30 +1,50 @@

name: Documentation issue for labeled PR
name: PR needs documentation

# a message will be added to the PR to ping the author about her/his responsibility to handle the documentation issue
# an issue is automatically created in the QGIS-Documentation repository when the PR gets merged

on:
pull_request:
pull_request_target:
types:
- opened
- closed
- labeled

jobs:
pr2docissue:
ping-author-message:
if: github.event.action != 'closed' && github.event.label.name == 'Needs Documentation'
runs-on: ubuntu-latest
name: Create issue on doc repo for labeled issue
name: Write comment to ping author about the future creation of an issue in docs
steps:

# obfuscate the github token so it can be used on jobs triggered from forks
- name: Clear GH Token
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' )
id: token
uses: opengisch/clear-token@v1.0.12
# write comment to ping the PR author
- name: Create comment
uses: peter-evans/create-or-update-comment@v1
with:
bot_token_encrypted: ddbdec32940df79f1adf2369b4b10f10b5a66f65
bot_token_xor_key: a1b2c3d47311f8e29e204f85a81b4df4a44e252c
token: ${{ secrets.GITHUB_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 ticket will be opened at https://github.com/qgis/QGIS-Documentation **when this PR is merged**.
**Please update the description** (not the comments) with helpful description and screenshot to help the work from documentors.
Also, any commit having [needs-doc] or [Needs Documentation] in will see its message pushed to the issue, so please be as verbose as you can.
Thank you!
reactions: 'rocket'


create-doc-issue:
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' )
runs-on: ubuntu-latest
name: Create issue on doc repo for labeled issue
steps:

# transform the milestone (e.g. 3.10.4) to a doc label (3.10)
- name: QGIS milestone to Doc label
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' )
id: milestone2label
env:
MILESTONE: ${{ github.event.pull_request.milestone.title }}
Expand All @@ -36,18 +56,16 @@ jobs:
# get the PR body
- name: Get PR body as JSON
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' )
id: get_pr_info
uses: octokit/request-action@v2.x
env:
GITHUB_TOKEN: ${{ steps.token.outputs.token }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
with:
route: GET /repos/qgis/QGIS/pulls/:pull_number
pull_number: ${{ github.event.pull_request.number }}

# extract body from json output
- name: Get PR body as text
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' )
id: get_pr_body
uses: gr2m/get-json-paths-action@v1.x
with:
Expand All @@ -56,18 +74,16 @@ jobs:

# get commits from the PR
- name: Get PR commits
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' )
uses: octokit/request-action@v2.x
id: get_pr_commits
env:
GITHUB_TOKEN: ${{ steps.token.outputs.token }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
with:
route: GET /repos/qgis/QGIS/pulls/:pull_number/commits
pull_number: ${{ github.event.pull_request.number }}

# extracts the matching commits
- name: Filter commits with \[needs?.doc(umentation)?s?\]
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' )
id: filtered_commits
env:
JSON_DATA: ${{ steps.get_pr_commits.outputs.data }}
Expand All @@ -77,11 +93,10 @@ jobs:
# create the documentation issue
- name: Create Documentation issue
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' )
id: doc_issue
uses: maxkomarychev/oction-create-issue@v0.7.1
with:
token: ${{ steps.token.outputs.token }}
token: ${{ secrets.GH_TOKEN_BOT }}
owner: qgis
repo: QGIS-Documentation
title: ${{ format('{0} (Request in QGIS)', github.event.pull_request.title) }}
Expand All @@ -104,14 +119,13 @@ 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' )
uses: peter-evans/create-or-update-comment@v1
with:
token: ${{ steps.token.outputs.token }}
token: ${{ secrets.GITHUB_TOKEN }}
issue-number: ${{ github.event.pull_request.number }}
body: |
@${{ github.event.pull_request.user.login }}
A documentation ticket has been opened at https://github.com/qgis/QGIS-Documentation/issues/${{ steps.doc_issue.outputs.number }}
It is **your** responsibility to visit this ticket and add as much detail as possible for the documentation team to correctly document this change.
Thank you!
reaction-type: 'rocket'
reactions: 'rocket'
20 changes: 0 additions & 20 deletions .github/workflows/pr_to_doc_issue.md

This file was deleted.

0 comments on commit 585f04d

Please sign in to comment.