Skip to content
Permalink
Browse files

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.
  • Loading branch information
m-kuhn committed Dec 22, 2020
1 parent 4b8e821 commit e4869b1dec2e54a1a4e0f393005e64faf098198c
Showing with 1 addition and 1 deletion.
  1. +1 −1 .github/workflows/stale_pr.yml
@@ -1,7 +1,7 @@
name: "Handle stale pull requests"
on:
schedule:
- cron: "30 1 * * *"
- cron: "30 2 * * *"

jobs:
stale:

0 comments on commit e4869b1

Please sign in to comment.
You can’t perform that action at this time.