Skip to content

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

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

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

Conversation

@pull

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

h2rhenry and others added 27 commits July 23, 2026 15:38
Get verification string for elish.is-a.dev
Update TXT record for johanna.is-a.dev domain verification
Register ahmedsaif.is-a.dev
Register gotanda.is-a.dev
Delete domains/_discord.45i.json
Update suryacs.json and add email subdomains
jfc: migrate root to Vercel and add nested dash.jfc subdomain
Add flingo.json for domain configuration
leemin missing data correction
Create _github-pages-challenge-flingo777.flingo.json
Register ls-portfolio.is-a.dev
@pull pull Bot locked and limited conversation to collaborators Jul 24, 2026
@pull pull Bot added the ⤵️ pull label Jul 24, 2026
@pull
pull Bot merged commit fb5e12d into devliq:main Jul 24, 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.