Skip to content

[pull] main from is-a-dev:main - #1188

Merged
pull[bot] merged 105 commits into
devliq:mainfrom
is-a-dev:main
Jul 29, 2026
Merged

[pull] main from is-a-dev:main#1188
pull[bot] merged 105 commits into
devliq:mainfrom
is-a-dev:main

Conversation

@pull

@pull pull Bot commented Jul 29, 2026

Copy link
Copy Markdown

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

mahunaromaric and others added 30 commits July 24, 2026 11:16
Hello maintainers,

I need to update the Vercel verification TXT record for my domain `renatomf.is-a.dev` after migrating my project to a new Vercel deployment.

This change only updates the TXT verification token required by Vercel to confirm domain ownership.

Thank you very much for maintaining is-a.dev and for taking the time to review this update. I really appreciate your work and support for the developer community.

Best regards,
Renato
Adds the required Vercel TXT verification record for ayches.is-a.dev.
ok-coder1 and others added 27 commits July 29, 2026 17:48
Add wynnor.json with domain owner and records
Update TXT record for domain verification
Add Vercel domain configuration file
Register articflap.is-a.dev
Add Vercel verification for ayches.is-a.dev
Add nekozami.json for domain configuration
Add linoshuke.json for domain configuration
Create _github-pages-challenge-h2rhenry.h2rhenry.json
Register siddhantgosavi.is-a.dev
Add piyushmakwana.json configuration file
Delete domains/_vercel.xyhr.json
@pull pull Bot locked and limited conversation to collaborators Jul 29, 2026
@pull pull Bot added the ⤵️ pull label Jul 29, 2026
@pull
pull Bot merged commit d7e0f79 into devliq:main Jul 29, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.