Skip to content

Downgrade stale bot to v8 and fix permissions#2112

Merged
echarlaix merged 1 commit intomainfrom fix-staleDec 3, 2024