I think my domain got stolen.

[timid flax]

yes, you will need to reconnect with a new pr

http://docs.is-a.dev/guides/github-pages

you will also need to do the verification step to claim your account back

[burnt slate]

achalla18

arjun.is-a.dev

CNAME: achalla18.github.io

Proxied

Apr 15, 2026, 7:51 PM

[timid flax]

https://github.com/achalla18

@sinful pollen im kinda confused tho how did they hijack this one

ohhhhh right

nvm

got it

[sinful pollen]

Github pages

[timid flax]

also @crude oxide next time dont delete the repo your portfloio is on

[crude oxide]

my repo wasnt deleted

its still active

[crude oxide]

how did they do it?

and what are the steps to get it back?

Just reconnect with PR

?

[crude oxide]

@timid flax

[timid flax]

yes

[crude oxide]

I did do it however no update yet

[sinful pollen]

by i did do it do you mean that you made the pull request?

[sinful pollen]

abused github's bad security for pages

[worthy canopy]

you can register it , i think its not claimed by anyone

[timid flax]

hi yes update i removed the stolen domain, you can re-register it from scratch now.

the process should be the same

[worthy canopy]

btw @timid flax[sorry for pinging] idk why but my PR isnt getting reviewed its been a day and newer PR are reviewed

[sinful pollen]

Which PR?

Ill probably review it now

[worthy canopy]

##36434 , i reminded it twice on PR channel

[burnt slate]

Dxrk0078

new record to existing dxrk.is-a.dev _discord.dxrk.is-a.dev (#36434)

Status

Merged <t:1776424136:R> by STICKnoLOGIC

Apr 16, 2026, 4:12 AM

[worthy canopy]

ohh someone merged , ty

[sinful pollen]

I asked for the PR since one of the PRs has a failed CI check because of an issue that's from us, so that's why i asked for it

[crude oxide]

I got this email however in the repostitory when I follow these steps I get upto step 4 and it says The custom domain arjun.is-a.dev is already taken. If you are the owner of this domain, check out https://docs.github.com/pages/configuring-a-custom-domain-for-your-github-pages-site/verifying-your-custom-domain-for-github-pages for information about how to verify and release this domain.

What can I do in this situation?

[timid flax]

youll have to make another pr

https://docs.is-a.dev/guides/github-pages/

follow the "Verifying your is-a.dev Subdomain with GitHub Pages" part

and add that file

[crude oxide]

I tried this but my PR run keeps failing

Here is link: https://github.com/is-a-dev/register/pull/36777/changes/3ca19fed5877c054a3f2046811ca5dc60b3774de

Any help with this matter would be much appreciated.

[sinful pollen]

Remove .is-a.dev from the filename

[robust cape]

rtfd

[fresh wagon]

read the docs you buffoon

[crude oxide]

ive been trying this

[gloomy burrow]

#1494060928931594280 message

[crude oxide]

I did follow that and I got the confirmation email that my pull request is merged however i still get he "The custom domain arjun.is-a.dev is already taken. If you are the owner of this domain, check out https://docs.github.com/pages/configuring-a-custom-domain-for-your-github-pages-site/verifying-your-custom-domain-for-github-pages for information about how to verify and release this domain."

notification

and my domain is back at that chinese casino website

[sinful pollen]

https://docs.is-a.dev/guides/github-pages/#verifying-your-is-adev-subdomain-with-github-pages do this since i don't see a nested subdomain for it

[sinful pollen]

probably since github auto-configures it if someone has the domain in a CNAME file already

[crude oxide]

i tried that and I got the same error

[sinful pollen]

Did you also make a pull request?

[crude oxide]

Yes

[sinful pollen]

Weird

[lethal ingot]

this is why we should never use github pages

[blazing zodiac]

there are also a lot of sweet points

also cant you try and find the github user and report him/her/it

[sinful pollen]

Not really

[crude oxide]

what alternatives?

Im just tryna get my site on the domain soon as I have intreviews coming up

[lethal ingot]

netlify

vercel

serv00 (if it's not full)

there's a lot

[crude oxide]

I think im going to use netlify

[crude oxide]

You could please remove the stolen domain again? I will reregister from scratch

[lethal ingot]

make a PR for it then

[timid flax]

it got stolen again?

brooo

just delete the file and create it again

[sinful pollen]

Probably since its already configured

[timid flax]

yeah

that

maybe

@crude oxide do the verification step

https://docs.is-a.dev/guides/github-pages/

[sinful pollen]

Apparently he did

[timid flax]

what

i doubt that

[sinful pollen]

I dont know anymore atp

Is-a.dev users say they did it and the reality would be that they didnt even do it and so on

[crude oxide]

There was an error committing your changes: A file with the same name already exists. Please choose a different name and try again.

[timid flax]

delete the file first on your fork and recreate it

[crude oxide]

can I delete my fork entireley and restart the full process?

[timid flax]

no this is unrelated

[crude oxide]

Do Icreate a new domain file in my fork or in the is-a.dev one

[timid flax]

fork

[lethal ingot]

https://tenor.com/view/ecospace-compostable-cutlery-save-the-planet-eco-gif-15402505

fork the repo

🔥

[timid flax]

cornball

[crude oxide]

https://github.com/achalla18/register/blob/main/domains/arjun.json

just made this

do I continue on?

[timid flax]

yes, now create verification file

[crude oxide]

what is that?

Is that the thingI do in the github settings

[timid flax]

go to your project repo > settings > domains

^docs

[fresh wagon]

please read our documentation

[timid flax]

in docs there is a guide for that

under github pages

[crude oxide]

Is it this:

Verifying your is-a.dev Subdomain with GitHub Pages

[timid flax]

yes

[crude oxide]

Where do I create the domain file?

in my fork?

Create the domain file
Create a JSON file inside the domains/ directory called domains/hostname.subdomain.json using the hostname you copied in step 5 and subdomain (subdomain.is-a.dev) with the following content and submit a pull request:

{
"owner": {
"username": "github-username",
"email": "[email protected]"
},
"records": {
"TXT": "github-verification-string"
}

for this

[timid flax]

?

yes

what are you even asking

did github give you hostname

like _github-pages-XXXX.arjun.is-a.dev

[crude oxide]

Pages Add a verified domain
Add a DNS TXT record
Before we can verify arjun.is-a.dev, you'll need to complete these steps:

Create a TXT record in your DNS configuration for the following hostname:
_github-pages-challenge-achalla18
.arjun.is-a.dev
Use this code for the value of the TXT record:
a51e9579190c0a6da411e4f30d3f9a
Wait until your DNS configuration changes. This could take up to 24 hours to propagate.

Yea this is what I got

[timid flax]

create _github-pages-challenge-achalla18.arjun.json in domains folder in your fork

{
  "owner": {
    "username": "YOUR_USERNAME",
    "email": "YOUR_EMAIL"
  },
  "records": {
    "TXT": "a51e9579190c0a6da411e4f30d3f9a"
  }
}

with this content

[crude oxide]

https://github.com/achalla18/register/blob/main/domains/_github-pages-challenge-achalla18.arjun.json

just did

Am i good now?

[timid flax]

yes

you can create pr now

[crude oxide]

how do I do that

do I just sync fork?

[timid flax]

?

how did you create pr last time

go to your fork's come page

it should give you notification

"changes made to branch .... create pr?"

[timid flax]

what

click contribute

[crude oxide]

Wht do I put for pull request title

[timid flax]

"verify arjun.is-a.dev"

in pr body paste/upload screenshot of your site

of whatever is gonna be on the site

[crude oxide]

https://github.com/is-a-dev/register/pull/37451

Just did

[timid flax]

looks good

wait for maintainer to check

[crude oxide]

Thank you so much for your help!

really appreciate it

this is lwk confusing

[crude oxide]

any update on this?

my site remaind on that chinese lottery site

[sinful pollen]

I think it still needs to be deleted