Github saying the domain is already taken although it is not

[Bikoil]

Your subdomain

biko.is-a.dev

Expected outcome

• Expected github to accept the custom domain

Observed outcome

• The following error:

More context

So, originally after registering for a is-a.dev subdomain, said domain did work just fine without any issues, Here is the pull request of registration But then after a bit, I decided to change the custom domain of my repository to something else, after a bit, I wanted to change it back to is-a.dev subdomain, upon attempting, the shared image above is the given error, I have absolutely no clue how to fix it, and no one else has taken the subdomain either. Help would be extremely appreciated :pray:

[iostpa]

Like the error says, try to verify your domain via TXT. You can follow along here https://www.is-a.dev/docs/github-pages-verification/

[github-actions[bot]]

This issue has been marked as stale due to inactivity and will be closed. Comment anything on this issue to prevent it

[Bikoil]

Like the error says, try to verify your domain via TXT. You can follow along here is-a.dev/docs/github-pages-verification

Sorry for not replying for a long time, but I'll open a pull request to my biko.json file to edit the record, thanks