Skip to content

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

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

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

Conversation

@pull

@pull pull Bot commented Jul 22, 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 : )

wdhdev and others added 27 commits July 22, 2026 09:49
Added sanskriti gupta domain
Update CNAME record in devrishi.json
Update CNAME record and rename JSON file
Add Vercel verification for himanshupal1.is-a.dev
Update username and add TXT record
Add Vercel configuration for domain verification and fix email domain
Update DNS records and owner information
Added a note advising against using AI for requests.
Add akhileshbarooah.json for domain configuration
Register ferreira.is-a.dev with domain owner and records
Register nammakawin.is-a.dev
Add domain aryan-shukla.is-a.dev
Add Vercel configuration for domain verification
Add gunateja.json domain registration
Add JSON configuration for trantienhunggg.is-a.dev
Update DNS records from CNAME to A record in Vercel config
I wanna change the _vercel directory because i missclick deleted it
@pull pull Bot locked and limited conversation to collaborators Jul 22, 2026
@pull pull Bot added the ⤵️ pull label Jul 22, 2026
@pull
pull Bot merged commit 7c38d8a into devliq:main Jul 22, 2026
1 check failed
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.