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

dev-cmd/bump*: limit the number of open PRs to 15. #16962

Merged
merged 2 commits into from Mar 29, 2024
Merged

Commits on Mar 28, 2024

  1. dev-cmd/bump*: limit the number of open PRs to 15.

    Don't let users open more than 15 PRs at a time. We have other tooling
    to nudge them to not do this but let's put it in the worst offenders:
    the `bump*` commands.
    MikeMcQuaid committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    fe16b14 View commit details
    Browse the repository at this point in the history
  2. utils/github: fix tap logic.

    Co-authored-by: Carlo Cabrera <[email protected]>
    MikeMcQuaid and carlocab committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    b3bf91a View commit details
    Browse the repository at this point in the history