Skip to content

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

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

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

Conversation

@pull

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

notamitgamer and others added 27 commits July 18, 2026 07:11
Update TXT record for domain verification
Add domain configuration and GitHub Pages challenge JSON
Add johanna.json for johanna.is-a.dev
Update salman-twin.is-a.dev: temporary target during AWS re-association
Add ankit.json for domain configuration
Add waseem.json for domain configuration
Update DNS records in _vercel.hayes.json
add  _github-pages-challenge-wenxigoh.wenxigoh.json
Update clintlorenzo.is-a.dev - add MX records for email
Add JSON configuration for AbishakParthi domain
@pull pull Bot locked and limited conversation to collaborators Jul 18, 2026
@pull pull Bot added the ⤵️ pull label Jul 18, 2026
@pull
pull Bot merged commit 3af6df5 into devliq:main Jul 18, 2026
1 check failed
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.