Matthias Kuhn e4869b1dec
Temporal separation of stale handling
Stale issues and stale PRs are handled at different times now. This gives us 2 different github api rate limit slots compared to a single one before.
2020-12-22 09:21:00 +01:00
..
2020-12-21 23:32:27 +01:00