5 Commits (c7d468578f1c7cd8f166321a81b7bcc121483ec8)

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