2 Commits

Include renames

Author	SHA1	Message	Date
Sebastian Serth	8b34e94fa3	Update GitHub actions to newest versions (#638) ... These changes are required to use NodeJS 20 on GitHub. https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/	2024-04-21 00:00:58 +03:00
Skyler Mäntysaari	794379ca49	Implement stale bot ... This ensures that issues and PRs that are stale for longer than 15 days, and after that 5 days till it's automatically closed.	2021-09-02 23:18:44 +03:00