5 Commits (c658fd27cced47c438eb148f1a1aedf482be8f46)

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