Commit graph

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