Skip to content

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

Merged
pull[bot] merged 58 commits into
devliq:mainfrom
is-a-dev:main
Nov 6, 2025
Merged

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

Conversation

@pull

@pull pull Bot commented Nov 6, 2025

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 : )

admtoha and others added 27 commits November 6, 2025 13:06
Co-authored-by: John Aerial J. Azcune <65322242+STICKnoLOGIC@users.noreply.github.com>
Changes to be committed:
	new file:   domains/subdomain.json
Co-authored-by: John Aerial J. Azcune <65322242+STICKnoLOGIC@users.noreply.github.com>
Changes to be committed:
	renamed:    domains/subdomain.json -> domains/divyesh.json
Add _atproto.cosmas.json with owner and records
GitHub Pages verification for veronica.is-a.dev
chores: update DNS records based on Vercel's recommendation
This is for my personal portfolio
Add kunalx1.json for kunalx1.is-a.dev
Add TXT record for keybase site verification
panwar.is-a.dev domain request
Add hydra.json for domain configuration
@pull pull Bot locked and limited conversation to collaborators Nov 6, 2025
@pull pull Bot added the ⤵️ pull label Nov 6, 2025
@pull
pull Bot merged commit 659f787 into devliq:main Nov 6, 2025
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.