5 Commits (3013782b7b39295b34c3f5a72274efc625748a7f)

Author	SHA1	Message	Date
Mohammed Anas	7ad111e2f6	Update actions used in GH workflows (#3138)	3 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.	4 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