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

Meta: changes for printing #3296

Merged
merged 1 commit into from
Mar 27, 2024
Merged

Meta: changes for printing #3296

merged 1 commit into from
Mar 27, 2024

Conversation

michaelficarra
Copy link
Member

No description provided.

package.json Outdated Show resolved Hide resolved
@michaelficarra michaelficarra changed the title WIP: changes for printing changes for printing Mar 22, 2024
@michaelficarra michaelficarra marked this pull request as ready for review March 22, 2024 23:45
@michaelficarra
Copy link
Member Author

This is ready for review now. I ended up not having to change much (or at least not being willing to for now). Just deletes some print styles and fixes a URL so the URL annotation works with it.

The formatting check is failing in CI but passing on my machine so I don't know what to do. The message just says something is wrong, but I run the formatter and it's a no-op.

@bakkot
Copy link
Contributor

bakkot commented Mar 23, 2024

Formatter should get fixed by pulling in tc39/ecmarkup#589.

@michaelficarra michaelficarra requested a review from a team March 25, 2024 20:59
@michaelficarra michaelficarra added the editor call to be discussed in the next editor call label Mar 26, 2024
@michaelficarra michaelficarra removed the editor call to be discussed in the next editor call label Mar 27, 2024
@bakkot bakkot added the ready to merge Editors believe this PR needs no further reviews, and is ready to land. label Mar 27, 2024
@ljharb ljharb added the meta label Mar 27, 2024
@ljharb ljharb changed the title changes for printing Meta: changes for printing Mar 27, 2024
@ljharb ljharb merged commit b872c1a into main Mar 27, 2024
8 checks passed
@ljharb ljharb deleted the print branch March 27, 2024 22:29
ljharb pushed a commit that referenced this pull request Mar 27, 2024
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