Skip to content

Conversation

@bakkot
Copy link
Member

@bakkot bakkot commented Oct 1, 2025

To make this easier I've also inlined the code for the warnings into the script which inserts them, instead of reading from disk.

Copy link
Member

@gibson042 gibson042 left a comment

Choose a reason for hiding this comment

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

Copying the scripts from main is a nice approach. We should also propagate it to template-for-proposals.

To make this easier I've also inlined the code for the warnings into the script which inserts them, instead of reading from disk.

I'm ambivalent about this change, which makes editing less pleasant but is overall fine.

@bakkot bakkot added the ready to merge Editors believe this PR needs no further reviews, and is ready to land. label Oct 4, 2025
@ljharb ljharb force-pushed the pr-previews-scripts-from-main branch from b57f917 to 1c55ca1 Compare November 4, 2025 03:49
@ljharb
Copy link
Member

ljharb commented Nov 4, 2025

I believe this failure is by design - it's intending to break any workflows from prior to this PR - so I'll go ahead and land it.

@ljharb ljharb merged commit 1c55ca1 into main Nov 4, 2025
8 of 9 checks passed
@ljharb ljharb deleted the pr-previews-scripts-from-main branch November 4, 2025 03:55
@ljharb ljharb added the meta label Nov 4, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

meta ready to merge Editors believe this PR needs no further reviews, and is ready to land.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants