diff options
author | Joakim Bech <joakim.bech@linaro.org> | 2020-08-17 14:13:56 +0200 |
---|---|---|
committer | Jérôme Forissier <jerome@forissier.org> | 2020-08-17 16:18:08 +0200 |
commit | bb9055ee80f9eb732a01b4caa1ef03c7ffcd019b (patch) | |
tree | 0a0f90d3e439ee1da442eca4e64048a8db0a7501 | |
parent | d57b084cecd78327fb4fc715283e62ccf5a704ef (diff) | |
download | optee_test-bb9055ee80f9eb732a01b4caa1ef03c7ffcd019b.tar.gz |
github: update actions/workflow file
Sync the GitHub workflow file with the recent changes in optee_os as
described in [1] with the difference that we use a more recent version
of the "actions/stale" workflow (v3.0.10). In short, this updates the
version and add "bug" and "enhancement" as the labels where the GitHub
bot shouldn't mark an issue or pull request as stale ticket.
Link: [1] https://github.com/OP-TEE/optee_os/commit/50bbda3dd3
Signed-off-by: Joakim Bech <joakim.bech@linaro.org>
Acked-by: Jerome Forissier <jerome@forissier.org>
Acked-by: Etienne Carriere <etienne.carriere@linaro.org>
-rw-r--r-- | .github/workflows/stale_issue.yml | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/.github/workflows/stale_issue.yml b/.github/workflows/stale_issue.yml index bab6802..0745442 100644 --- a/.github/workflows/stale_issue.yml +++ b/.github/workflows/stale_issue.yml @@ -1,4 +1,4 @@ -name: "Close stale issues" +name: 'Close stale issues and pull requests with no recent activity' on: schedule: - cron: "16 00 * * *" @@ -7,11 +7,16 @@ jobs: stale: runs-on: ubuntu-latest steps: - - uses: actions/stale@v1 + - uses: actions/stale@v3.0.10 + with: repo-token: ${{ secrets.GITHUB_TOKEN }} - stale-issue-message: 'This issue has been marked as a stale issue because it has been open (more than) 30 days with no activity. Remove the stale label or add a comment saying that you would like to have the label removed otherwise this issue will automatically be closed in 5 days. Note, that you can always re-open a closed issue at any time.' - stale-pr-message: 'This pull request has been marked as stale because it has been open (more than) 30 days with no activity. Remove the stale label or add a comment saying that you would like to have the label removed otherwise this pull request will automatically be closed in 5 days. Note, that you can always re-open a closed pull request at any time.' - exempt-issue-label: 'bug' + stale-issue-message: 'This issue has been marked as a stale issue because it has been open (more than) 30 days with no activity. Remove the stale label or add a comment, otherwise this issue will automatically be closed in 5 days. Note that you can always re-open a closed issue at any time.' + stale-pr-message: 'This pull request has been marked as a stale pull request because it has been open (more than) 30 days with no activity. Remove the stale label or add a comment, otherwise this pull request will automatically be closed in 5 days. Note that you can always re-open a closed pull request at any time.' + stale-issue-label: Stale + stale-pr-label: Stale + exempt-issue-labels: bug,enhancement + exempt-pr-labels: bug,enhancement days-before-stale: 30 days-before-close: 5 + remove-stale-when-updated: true |