3 commits

Author	SHA1	Message	Date
George Bișoc	d8bfe2a261	[GITHUB] Draft PRs should be exempt from closure by the stale PR bot	2023-06-09 11:43:04 +02:00
Mark Jansen	b60408c9f1	[CI] Increase operations-per-run for the stale script	2022-06-04 20:35:01 +02:00
Mark Jansen	96eacfc352	[GITHUB] Add workflow to close stale PR's	2022-05-29 20:10:31 +02:00