Skip to content

Conversation

@novusnota
Copy link
Collaborator

@novusnota novusnota commented Dec 1, 2025

Closes #1497.

Stopped posting messages on new pushes in the PR — they are in the workflow outputs now. This significantly reduced the JS code used in the workflow, to the point where it's not really a win even if we manage to extract it elsewhere.

Also made the wording of workflow outputs be a bit smoother ­— no more "until then your PR is doomed and you're failure" type stuff. It's now more chill and explanatory, but still concise.

@github-actions
Copy link

github-actions bot commented Dec 1, 2025

Skipping AI review because no docs changes in md, mdx, or docs.json

MAX_ADDITIONS_FORKS: 500
# on rare occasions maintainers need to edit a lot of things at once
MAX_ADDITIONS_DIRECT_BRANCHES: 800
MAX_ADDITIONS_DIRECT_BRANCHES: 1000
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why do we keep raising this limit? We discussed internally this should be 500 both for external and internal PRs.

Copy link
Collaborator Author

@novusnota novusnota Dec 3, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yeah, but if we don't make this CI mandatory (and we don't), there's a non-zero chance that folks would neglect other checks, thinking that they can merge stuff even when CI fails. I don't want that to happen, and for the time being, made a slightly larger leeway to see whether it's worth it. We can always roll back or hard cap everyone to 500 once the contribution and maintenance processes are more or less settled.

Oh, and we have a bunch (~60) of now-removed stub pages waiting to be written. Let's come back in, say, a month and change constraints if necessary :)

@verytactical verytactical merged commit df04ef7 into main Dec 3, 2025
10 checks passed
@verytactical verytactical deleted the closes-1497/less-bouncer-noise branch December 3, 2025 09:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Bouncer] Separate scripts

3 participants