Skip to content

Support validating anchors containing emojis#67

Merged
manuzhang merged 2 commits intomanuzhang:mainfrom
johnthagen:emoji-anchors
Jul 18, 2023
Merged

Support validating anchors containing emojis#67
manuzhang merged 2 commits intomanuzhang:mainfrom
johnthagen:emoji-anchors

Conversation

@johnthagen
Copy link
Copy Markdown
Contributor

Closes #64

@johnthagen
Copy link
Copy Markdown
Contributor Author

@manuzhang I tested this PR against our codebase that is adopting emojis and it worked as expected.

Would you be able to review? Thanks.

@manuzhang manuzhang merged commit 633f551 into manuzhang:main Jul 18, 2023
@johnthagen johnthagen deleted the emoji-anchors branch July 18, 2023 09:53
@johnthagen
Copy link
Copy Markdown
Contributor Author

@manuzhang Could you release 0.14.0 onto PyPI? Thanks!

@manuzhang
Copy link
Copy Markdown
Owner

I think I will release 1.0.0 given the major changes in dependencies.

@johnthagen
Copy link
Copy Markdown
Contributor Author

@manuzhang Sounds great. I will also do a test of 1.0.0 after it's released as well.

@johnthagen
Copy link
Copy Markdown
Contributor Author

johnthagen commented Jul 20, 2023

@manuzhang Confirmed that the 1.0.0 release works great! 🎉

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.

Anchors links to headers containing emojis are reported as invalid URLs

2 participants