2022-11-26 00:43:31 +00:00
name : Check stale issues and pull requests
2022-09-08 08:53:52 +00:00
on :
workflow_dispatch :
schedule :
- cron : '0 12 * * *'
permissions :
2022-11-26 00:43:31 +00:00
issues : write
2022-09-08 08:53:52 +00:00
pull-requests : write
env :
2022-11-28 20:07:25 +00:00
BEFORE_ISSUE_STALE : 334
2022-11-26 00:43:31 +00:00
BEFORE_ISSUE_CLOSE: 0 #FIXME : change to 14 days
BEFORE_PR_STALE : 14
BEFORE_PR_CLOSE : 7
2022-09-08 08:53:52 +00:00
jobs :
stale :
runs-on : ubuntu-latest
steps :
2022-10-20 18:09:03 +00:00
- uses : actions/stale@v6
2022-09-08 08:53:52 +00:00
with :
2023-01-26 13:40:38 +00:00
debug-only : false
2022-11-26 00:43:31 +00:00
days-before-issue-stale : ${{ env.BEFORE_ISSUE_STALE }}
days-before-issue-close : ${{ env.BEFORE_ISSUE_CLOSE }}
stale-issue-message : |
This issue has been marked as stale due to inactivity for the last ${{ env.BEFORE_ISSUE_STALE }} days.
It will be automatically closed in ${{ env.BEFORE_ISSUE_CLOSE }} days.
close-issue-message : |
Hi everyone! This issue has been closed due to inactivity.
If you think this issue is still relevant in the latest Solidity version and you have something to [contribute](https://docs.soliditylang.org/en/latest/contributing.html), feel free to reopen.
However, unless the issue is a concrete proposal that can be implemented, we recommend starting a language discussion on the [forum](https://forum.soliditylang.org) instead.
2022-11-28 20:07:25 +00:00
any-of-issue-labels: stale # TODO : remove this when we're done with closing ancient issues
ascending: true # TODO : remove this when we're done with closing ancient issues
2022-11-26 00:43:31 +00:00
stale-issue-label : stale
close-issue-label : closed-due-inactivity
exempt-issue-labels : 'bug :bug:,roadmap,selected-for-development,must have'
2022-09-08 08:53:52 +00:00
stale-pr-message : |
2022-11-26 00:43:31 +00:00
This pull request is stale because it has been open for ${{ env.BEFORE_PR_STALE }} days with no activity.
It will be closed in ${{ env.BEFORE_PR_CLOSE }} days unless the `stale` label is removed.
2022-09-08 08:53:52 +00:00
close-pr-message : |
2022-11-26 00:43:31 +00:00
This pull request was closed due to a lack of activity for ${{ env.BEFORE_PR_CLOSE }} days after it was stale.
2022-09-08 08:53:52 +00:00
stale-pr-label : stale
close-pr-label : closed-due-inactivity
2022-11-26 00:43:31 +00:00
days-before-pr-stale : ${{ env.BEFORE_PR_STALE }}
days-before-pr-close : ${{ env.BEFORE_PR_CLOSE }}
2022-10-24 14:34:20 +00:00
exempt-pr-labels : 'external contribution :star:,roadmap,epic'
2022-12-01 17:23:03 +00:00
exempt-draft-pr : false
2022-09-08 08:53:52 +00:00
exempt-all-milestones : true
2022-11-29 13:38:33 +00:00
# remove-stale-when-updated: true # TODO: uncomment and remove the line below when we're done with closing ancient issues
remove-issue-stale-when-updated : false
2022-10-24 14:34:20 +00:00
operations-per-run : 128