mirrors/tendermint
1
0
Fork 0
mirror of https://github.com/tendermint/tendermint.git synced 2026-01-08 14:21:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

remove stalebot (#5079)

Browse Source 
## Description

- remove stale bot (bad bot 👎 )
- add github action to do bots job

Closes: #XXX
This commit is contained in:
Marko
2020-07-03 10:41:47 +02:00
committed by GitHub
parent 22b395ed30
commit 003ead851a
2 changed files with 15 additions and 47 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
.github/workflows/stale.yml vendored Normal file
View File

@@ -0,0 +1,15 @@
name: "Close stale pull requests"
on:
schedule:
- cron: "0 0 * * *"
jobs:
stale:
runs-on: ubuntu-latest
steps:
- uses: actions/stale@v3
with:
repo-token: ${{ secrets.GITHUB_TOKEN }}
stale-pr-message: "Message to comment on stale PRs. If none provided, will not mark PRs stale"
days-before-stale: 20
exempt-pr-labels: "S:wip"