Skip to content

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

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

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

Conversation

@pull

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

hrittm and others added 30 commits July 6, 2026 00:59
Updated CNAME record to point to the root domain.
Fix JSON formatting by adding missing newline at end of file.
Add apex A record, www CNAME, and _vercel TXT records for domain verification.

Co-authored-by: Cursor <cursoragent@cursor.com>
is-a.dev rejects @users.noreply.github.com addresses in domain JSON files.

Co-authored-by: Cursor <cursoragent@cursor.com>
hrittm and others added 27 commits July 7, 2026 20:11
Add ongoro.json with domain owner and records
Add pasindukalana.json for domain configuration
Fix JSON formatting and update email address in configuration
Add joseluisprieto.json
Register nix.is-a.dev with Vercel DNS and verification
Add JSON file for Joko Ariyanto domain details
Create enzocapellari.json
Add Tanushri Dhote portfolio JSON configuration
feat: add _vercel.jahangeershaik.is-a.dev
@pull pull Bot locked and limited conversation to collaborators Jul 8, 2026
@pull pull Bot added the ⤵️ pull label Jul 8, 2026
@pull
pull Bot merged commit e5d54fd into devliq:main Jul 8, 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.