Skip to content

volantis.js.org #9886

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
Jun 24, 2025
Merged

volantis.js.org #9886

merged 1 commit into from
Jun 24, 2025

Conversation

xaoxuu
Copy link
Contributor

@xaoxuu xaoxuu commented Jun 21, 2025 •
edited
Loading

The site content is community homepage for volantis theme.

Vercel usage has exceeded the quota, so we had to migrate back to GitHub Pages.

@MattIPv4 MattIPv4 changed the title Update volantis.js.org volantis.js.org Jun 21, 2025
@MattIPv4
Copy link
Member

@Colsrch please can you confirm you're okay with this change, as you most recently made a change to this subdomain (#6302)?

@MattIPv4 MattIPv4 added the awaiting response This PR is waiting for a response from the requester label Jun 21, 2025
Colsrch
Colsrch approved these changes Jun 23, 2025
View reviewed changes
Copy link
Contributor

@Colsrch Colsrch left a comment

Choose a reason for hiding this comment

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

approve

MattIPv4
MattIPv4 requested changes Jun 23, 2025
View reviewed changes
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.

Hi there!

❌ Before we can accept your domain request, you need to configure your GitHub Pages site to use the requested js.org subdomain. Head to your repository settings, locate the Pages settings (under Code and Automation), and enter the js.org subdomain in the custom domain field. 📝

@MattIPv4 MattIPv4 added awaiting custom domain This PR is waiting for the GitHub Pages target to set the custom domain and removed awaiting response This PR is waiting for a response from the requester labels Jun 23, 2025
@xaoxuu
Copy link
Contributor Author

xaoxuu commented Jun 24, 2025

Excuse me, is this all right?
image

@indus indus added organisation This PR/issue is regarding a target on a GitHub organisation project This PR has a target of a project on an organisation or user account 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 and removed awaiting custom domain This PR is waiting for the GitHub Pages target to set the custom domain labels Jun 24, 2025
@indus
Copy link
Member

indus commented Jun 24, 2025 •
edited
Loading

@xaoxuu I've just changed your requested subdomain to JS.ORGs zonefile. Please check again and provide feedback about the outcome.
I'll merge afterwards. Please keep this PR open.

@xaoxuu
Copy link
Contributor Author

xaoxuu commented Jun 24, 2025

Thanks, DNS check successful now:

image

@indus
Copy link
Member

indus commented Jun 24, 2025

Welcome back https://volantis.js.org

@indus indus merged commit 873ac4e into js-org:master Jun 24, 2025
7 of 10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@MattIPv4 MattIPv4 MattIPv4 requested changes

@Colsrch Colsrch Colsrch approved these changes

Assignees
No one assigned
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 organisation This PR/issue is regarding a target on a GitHub organisation project This PR has a target of a project on an organisation or user account
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@xaoxuu @MattIPv4 @indus @Colsrch