aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJoakim Bech <joakim.bech@linaro.org>2020-08-17 14:13:56 +0200
committerJérôme Forissier <jerome@forissier.org>2020-08-17 16:18:08 +0200
commitbb9055ee80f9eb732a01b4caa1ef03c7ffcd019b (patch)
tree0a0f90d3e439ee1da442eca4e64048a8db0a7501
parentd57b084cecd78327fb4fc715283e62ccf5a704ef (diff)
downloadoptee_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.yml15
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