Skip to content

Docs: fix PEG.js link #70082

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
May 8, 2025
Merged

Docs: fix PEG.js link #70082

merged 1 commit into from
May 8, 2025

Conversation

jasalt
Copy link
Contributor

@jasalt jasalt commented May 8, 2025

Project domain (pegjs dot org) has been parked, changed to GH repository address which is probably more long-lasting.

@jasalt
Docs: fix PEG.js link
b7bcaee 
Project domain (pegjs dot org) has been parked, changed to GH repository address which is probably more long-lasting.
@jasalt jasalt requested a review from dmsnell as a code owner May 8, 2025 07:38
@github-actions GitHub Actions
Copy link

github-actions bot commented May 8, 2025 •
edited
Loading

The following accounts have interacted with this PR and/or linked issues. I will continue to update these lists as activity occurs. You can also manually ask me to refresh this list by adding the props-bot label.

If you're merging code through a pull request on GitHub, copy and paste the following into the bottom of the merge commit message.

Co-authored-by: jasalt <jasalt@git.wordpress.org>
Co-authored-by: Mamaduka <mamaduka@git.wordpress.org>

To understand the WordPress project's expectations around crediting contributors, please review the Contributor Attribution page in the Core Handbook.

@github-actions GitHub Actions
Copy link

github-actions bot commented May 8, 2025

👋 Thanks for your first Pull Request and for helping build the future of Gutenberg and WordPress, @jasalt! In case you missed it, we'd love to have you join us in our Slack community.

If you want to learn more about WordPress development in general, check out the Core Handbook full of helpful information.

@github-actions github-actions bot added the First-time Contributor Pull request opened by a first-time contributor to Gutenberg repository label May 8, 2025
@Mamaduka Mamaduka added the [Type] Developer Documentation Documentation for developers label May 8, 2025
Mamaduka
Mamaduka approved these changes May 8, 2025
View reviewed changes
Copy link
Member

@Mamaduka Mamaduka left a comment

Choose a reason for hiding this comment

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

Thank you, @jasalt!

@Mamaduka Mamaduka added the props-bot Adding this label triggers the Props Bot workflow for a PR. label May 8, 2025
@github-actions github-actions bot removed the props-bot Adding this label triggers the Props Bot workflow for a PR. label May 8, 2025
@Mamaduka Mamaduka merged commit 404d632 into WordPress:trunk May 8, 2025
66 of 67 checks passed
@github-actions github-actions bot added this to the Gutenberg 20.9 milestone May 8, 2025
chriszarate pushed a commit to chriszarate/gutenberg that referenced this pull request Jul 1, 2025
@jasalt @Mamaduka @chriszarate
Docs: fix PEG.js link (WordPress#70082)
eda6e85 
Co-authored-by: jasalt <jasalt@git.wordpress.org>
Co-authored-by: Mamaduka <mamaduka@git.wordpress.org>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Mamaduka Mamaduka Mamaduka approved these changes

@dmsnell dmsnell Awaiting requested review from dmsnell dmsnell is a code owner

Assignees
No one assigned
Labels
First-time Contributor Pull request opened by a first-time contributor to Gutenberg repository [Type] Developer Documentation Documentation for developers
Projects
None yet
Milestone
Gutenberg 20.9
Development

Successfully merging this pull request may close these issues.
2 participants
@jasalt @Mamaduka