jon.recoil.org
this repo has no description
Remove the stale issues bot (#947)
The bot was no longer closing issues since 5a84ae15. Development on this
project is slow enough that the `stale` tag doesn't mean anything.
authored by
Jules Aguillon
and committed by
GitHub
b4a24e53
48cfce31
-35
.github/workflows/stale.yml
-35
.github/workflows/stale.yml
···
1
-
name: "Close stale issues"
2
-
on:
3
-
schedule:
4
-
- cron: "0 0 * * *"
5
-
push:
6
-
paths:
7
-
- .github/workflows/stale.yml
8
-
9
-
jobs:
10
-
stale:
11
-
runs-on: ubuntu-latest
12
-
steps:
13
-
- uses: actions/stale@v2
14
-
with:
15
-
repo-token: ${{ secrets.GITHUB_TOKEN }}
16
-
stale-issue-message: >-
17
-
This issue has been automatically marked as stale because it has not
18
-
had recent activity. It will be closed if no further activity
19
-
occurs. The main purpose of this is to keep the issue tracker
20
-
focused to what is actively being worked on, so that the amount and
21
-
variety of open yet inactive issues does not overwhelm contributors.
22
-
23
-
24
-
25
-
An issue closed as stale is not rejected — further discussion is
26
-
welcome in its closed state, and it can be resurrected at any time.
27
-
odoc maintainers regularly check issues that were closed as stale in
28
-
the past, to see if the time is right to reopen and work on them
29
-
again. PRs addressing issues closed as stale are as welcome as PRs
30
-
for open issues. They will be given the same review attention, and
31
-
any other help.
32
-
days-before-stale: 365
33
-
days-before-close: -1
34
-
exempt-issue-labels: "bug,not stale"
35
-
stale-issue-label: "stale"