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