Commit graph

5 commits

Author SHA1 Message Date
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