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

Update @@foo symbol notation to %Symbol.foo% notation #1415

Merged
merged 1 commit into from
Jul 2, 2024
Merged

Update @@foo symbol notation to %Symbol.foo% notation #1415

merged 1 commit into from
Jul 2, 2024

Conversation

ljharb
Copy link
Contributor

@ljharb ljharb commented Jul 1, 2024

@domenic
Copy link
Member

domenic commented Jul 2, 2024

It looks like this is based on an outdated copy; can you rebase on main?

Also, I believe the way this is done, by just relying on {{%Symbol.iterator%}} style autolinking, will only work after the appropriate linking databases are updated. We'll see if that happens automatically... hopefully you won't have to do anything though.

Copy link
Member

@domenic domenic left a comment

Choose a reason for hiding this comment

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

Well, it looks like the linking database did update, and thus my own PR started failing: 4035d0a was merged to main and failed to build on CI.

So I went ahead and fixed the merge conflict here, so that we can get main back to green, and will merge it shortly.

@domenic domenic merged commit 1ce5eb5 into whatwg:main Jul 2, 2024
2 checks passed
@ljharb
Copy link
Contributor Author

ljharb commented Jul 2, 2024

thanks! was just about to rebase it :-)

@ljharb ljharb deleted the luke_skywalker branch July 2, 2024 03:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants