diff options
| author | gingerBill <bill@gingerbill.org> | 2022-07-24 22:51:39 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2022-07-24 22:51:39 +0100 |
| commit | 9f64de95684c3f0e27bf8d1f372045d7aa7ed623 (patch) | |
| tree | c92862ebae45917d7b80cc8876bc8aaef4e87638 | |
| parent | 0ebe9ba4871d614fac6feb9d66ffe9c3892c1517 (diff) | |
| parent | efe00e1aa652deec0da68a3b6283691fee1eff29 (diff) | |
Merge branch 'master' of https://github.com/odin-lang/Odin
| -rw-r--r-- | .github/workflows/stale.yml | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/.github/workflows/stale.yml b/.github/workflows/stale.yml new file mode 100644 index 000000000..fb20c73de --- /dev/null +++ b/.github/workflows/stale.yml @@ -0,0 +1,32 @@ +name: "Close Stale Issues & PRs" +on: + workflow_dispatch: + schedule: + - cron: "0 0 * * *" + +permissions: + issues: write + pull-requests: write + +jobs: + stale: + runs-on: ubuntu-latest + steps: + - name: Close Stale Issues + uses: actions/stale@v5.1.0 + with: + stale-issue-message: | + Hello! + + I am marking this issue as stale as it has not received any engagement from the community or maintainers 120 days. That does not imply that the issue has no merit! If you feel strongly about this issue + - open a PR referencing and resolving the issue; + - leave a comment on it and discuss ideas how you could contribute towards resolving it; + - leave a comment and describe in detail why this issue is critical for your use case; + - open a new issue with updated details and a plan on resolving the issue. + + The motivation for this automation is to help prioritize issues in the backlog and not ignore, reject, or belittle anyone.. + + stale-issue-label: "stale" + days-before-stale: 120 + days-before-close: 30 + exempt-draft-pr: true |