Commit graph

3 commits

Author SHA1 Message Date
syeopite 0a9c804940
Reduce PR stale length
PRs should be active. Anything that hasn't had activity in more than 45 days should be considered abandoned.
2021-06-18 11:10:11 -07:00
TheFrenchGhosty c98c7d47db Better message for the Stale action 2020-12-02 17:13:31 +01:00
TheFrenchGhosty 194694a59b Replace the Stale bot with a Github action because it has been reported as dead 2020-12-02 17:10:57 +01:00