Skip to content

eslint-plugin-wxml.js.org #9846

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

Merged
merged 1 commit into from
Jun 8, 2025
Merged

eslint-plugin-wxml.js.org #9846

merged 1 commit into from
Jun 8, 2025

Conversation

iChenLei
Copy link
Contributor

@iChenLei iChenLei commented Jun 8, 2025

The site content is docs about eslint-plugin-wxml

@iChenLei iChenLei mentioned this pull request Jun 8, 2025
Copy link
Member

@MattIPv4 MattIPv4 left a comment

Choose a reason for hiding this comment

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

✅ Commit valid, site has content based on https://eslint-plugin-wxml.netlify.app/

I trust that your site is configured ready to work with the requested js.org subdomain.

@MattIPv4 MattIPv4 added change This PR/issue is regarding making a change to an existing subdomain external page This PR has a target of a site that isn't GitHub Pages labels Jun 8, 2025
@MattIPv4
Copy link
Member

MattIPv4 commented Jun 8, 2025

When this is merged, this entry can be checked off in the cleanup issue.

@indus
Copy link
Member

indus commented Jun 8, 2025

Welcome http://eslint-plugin-wxml.js.org
(I've checked it off in the cleanup issue)

@indus indus merged commit 1e70d39 into js-org:master Jun 8, 2025
4 of 6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
change This PR/issue is regarding making a change to an existing subdomain external page This PR has a target of a site that isn't GitHub Pages
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants