Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: increase operations per run of stale workflow #2363

Merged
merged 3 commits into from Dec 5, 2022

Commits on Nov 29, 2022

  1. chore: increase operations per run of stale workflow

    The `stale` action defaults to 30 `operations-per-run` to stay under GitHub's hourly rate limit, but for us, that's only enough to get us to issue 1697 in reverse cron before it runs out of operations and stops the job; therefore, older issues and PRs are not currently being checked by this workflow.
    
    However, I looked it up and supposedly the rate limit for GitHub Enterprise is 15,000 requests per hour, so I think we can afford to go quite a bit higher. Let's try 200 for now, I'll monitor for another few days and then if we're not having issues maybe we can go up to ~1000 for future-proofing.
    xiehan committed Nov 29, 2022
    Configuration menu
    Copy the full SHA
    1a0be8b View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2022

  1. Configuration menu
    Copy the full SHA
    b759c1d View commit details
    Browse the repository at this point in the history
  2. chore: run format

    DanielMSchmidt committed Dec 5, 2022
    Configuration menu
    Copy the full SHA
    9a2c0f2 View commit details
    Browse the repository at this point in the history