Skip to content

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

Merged
pull[bot] merged 142 commits into
devliq:mainfrom
is-a-dev:main
Oct 24, 2025
Merged

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

Conversation

@pull

@pull pull Bot commented Oct 24, 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 : )

Yashwant176 and others added 30 commits October 14, 2025 18:57
add reza.is-a.dev
Sorry for causing you extra effort, this is now a CNAME version.
Co-authored-by: John Aerial J. Azcune <65322242+STICKnoLOGIC@users.noreply.github.com>
Co-authored-by: John Aerial J. Azcune <65322242+STICKnoLOGIC@users.noreply.github.com>
wdhdev and others added 27 commits October 24, 2025 19:23
register amaruki subdomain
Registering techifydev is adev sub domain
feat: add shellwen.json with owner and records info
Add jaya.json with owner and records information
Update CNAME for leotrimhaliti.is-a.dev to Netlify
Co-authored-by: John Aerial J. Azcune <65322242+STICKnoLOGIC@users.noreply.github.com>
Create _github-pages-challenge-RomainCHEN.romain.json
@pull pull Bot locked and limited conversation to collaborators Oct 24, 2025
@pull pull Bot added the ⤵️ pull label Oct 24, 2025
@pull
pull Bot merged commit 99382e8 into devliq:main Oct 24, 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.