Commit Graph

5 Commits (bb7f7bb4d10950a3daad69d3ab7f18b44f6cd1ca)

Author SHA1 Message Date
Mohammed Anas 7ad111e2f6
Update actions used in GH workflows (#3138) 2 years ago
syeopite 2fdb2c7c9a
Exempt "blocked" PRs from being marked as stale (#2321) 3 years ago
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.
3 years ago
TheFrenchGhosty c98c7d47db Better message for the Stale action 4 years ago
TheFrenchGhosty 194694a59b Replace the Stale bot with a Github action because it has been reported as dead 4 years ago