Conversation
Hi there! 👋You've successfully made a pull request! Here are some steps to do while waiting for a maintainer to review the pull request:
Note: if you've opened this pull request while there is a high number of other open pull requests, your wait time will be longer than usual. Please be patient! |
There was a problem hiding this comment.
Pull request overview
Note
Copilot was unable to run its full agentic suite in this review.
Registers jumpstone.is-a.dev and related verification records, intended to point the subdomain at a Vercel-hosted developer portfolio.
Changes:
- Adds
jumpstone.is-a.devDNS record definition. - Adds
_vercel.jumpstoneTXT record for Vercel domain verification. - Adds
_discord.jumpstoneTXT record for Discord domain verification.
Reviewed changes
Copilot reviewed 3 out of 3 changed files in this pull request and generated 2 comments.
| File | Description |
|---|---|
| domains/jumpstone.json | Defines the primary DNS record(s) for jumpstone.is-a.dev. |
| domains/_vercel.jumpstone.json | Adds Vercel verification TXT record. |
| domains/_discord.jumpstone.json | Adds Discord verification TXT record. |
| @@ -0,0 +1,8 @@ | |||
| { | |||
| "owner": { | |||
| "username": "jumpstone" | |||
There was a problem hiding this comment.
owner is missing contact information (the PR template requires an email or other contact handle under owner). This is likely to fail validation/approval; add an email field or another approved contact method in the owner object.
| "username": "jumpstone" | |
| "username": "jumpstone", | |
| "email": "jumpstone@users.noreply.github.com" |
| "records": { | ||
| "A": "216.198.79.1" | ||
| } |
There was a problem hiding this comment.
The PR description/preview indicates the site is hosted on Vercel (jumpstone-dev.vercel.app) and includes a Vercel verification TXT record, but the apex record here points to 216.198.79.1 (not a standard Vercel target). Either update the DNS record to the correct Vercel-recommended target (commonly A to 76.76.21.21 or a CNAME to cname.vercel-dns.com, depending on is-a.dev’s supported record types) or adjust the PR description to match the actual hosting.
| "records": { | ||
| "A": ["216.198.79.1"] | ||
| } |
There was a problem hiding this comment.
The root domain record uses an A value as a string, but A records in this repo are consistently represented as an array (e.g., domains/4hmet.json:7 uses "A": ["76.76.21.21"]). Update this to an array form (even for a single IP) to match the established schema/conventions and avoid validation failures.
| "records": { | ||
| "A": ["216.198.79.1"] | ||
| } |
There was a problem hiding this comment.
PR description indicates the site is hosted on Vercel (jumpstone-dev.vercel.app) and includes a Vercel verification TXT record, but the root domain is pointing to A=216.198.79.1 instead of a Vercel target (typically Vercel’s apex A record or a CNAME to Vercel). This mismatch will likely prevent jumpstone.is-a.dev from serving the intended Vercel site; update the root record to the correct Vercel DNS target.
Requirements
ownerkey.Website Preview
https://jumpstone-dev.vercel.app/

I am requesting jumpstone.is-a.dev to serve as a technical, developer-to-developer portfolio and project overview. My existing domain (jumpstone4477.de) will continue to host my general/main website, while this new subdomain will focus strictly on my software development work.