Skip to content

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

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

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

Conversation

@pull

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

zxyren and others added 30 commits July 22, 2026 20:09
Added TXT record for domain verification.
Updated CNAME record and removed TXT verification.
 Add proxied field to socheath.json
Adds a DNS TXT record required by GitHub Pages to release the custom-domain
lock on sid.is-a.dev so it can be assigned to 11sid11/11sid11.github.io.

The verification code is obtained from the GitHub Pages domain verification
flow (https://github.com/settings/pages).

Per the is-a-dev dnsconfig.js schema, this is a separate domain file at the
verification hostname path, following the same pattern as other verified
subdomains.
ExpertCrafts and others added 21 commits July 27, 2026 15:43
Add haidar17.json for domain configuration
Create niladri.json in Domains
Add JSON file for Mario Fajardo's portfolio
# Adding subdomain request to is-a.dev
Create andy-ramaroson.json
Add GitHub Pages verification TXT for sid.is-a.dev
@pull pull Bot locked and limited conversation to collaborators Jul 28, 2026
@pull pull Bot added the ⤵️ pull label Jul 28, 2026
@pull
pull Bot merged commit 73cf843 into devliq:main Jul 28, 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.