Commit graph

8 commits

Author SHA1 Message Date
syeopite 760bf4cfb3
Bump stale timer for PRs 2023-09-16 23:22:49 +00:00
Émilien Devos (perso) b287ddc52a
Allow to set a label for exempting from staling (#3651) 2023-02-19 19:20:47 +00:00
Samantaz Fox 7069969198
Never mark feature requests/enhancements as stale 2022-09-28 17:56:02 +02:00
Mohammed Anas 7ad111e2f6
Update actions used in GH workflows (#3138) 2022-06-05 22:05:19 +02:00
syeopite 2fdb2c7c9a
Exempt "blocked" PRs from being marked as stale (#2321) 2021-08-12 08:42:09 -07:00
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