Skip to content

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

Merged
pull[bot] merged 36 commits into
Tiamat-Tech:mainfrom
is-a-dev:main
Jul 5, 2026
Merged

[pull] main from is-a-dev:main#820
pull[bot] merged 36 commits into
Tiamat-Tech:mainfrom
is-a-dev:main

Conversation

@pull

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

ChaitanyaShah26 and others added 30 commits July 4, 2026 16:06
Added email field to owner and updated TXT records.
Updated username to correct casing.
JSON configuration to verify my is-a.dev subdomain with GitHub Pages.
Add new domain for my project ADST
Update email and DKIM record in zmail domain config
Update adhi.json with email and TXT records
Add DNS configuration for domain send.adhi.json
Add DNS TXT record for domain verification
Update jeevant.is-a.dev for Vercel Verification
Add domain configuration for dinu7172
Update CNAME record for joe50097
Redirect lioren.is-a.dev to lioren.me and add Discord verification
Delete domains/_discord.joe50097.json
Add JSON configuration for GitHub Pages subdomain verification
Add owner and records to Agustinh09
@pull pull Bot locked and limited conversation to collaborators Jul 5, 2026
@pull pull Bot added the ⤵️ pull label Jul 5, 2026
@pull pull Bot merged commit 2ad95c9 into Tiamat-Tech:main Jul 5, 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.

10 participants