Skip to content

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

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

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

Conversation

@pull

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

dat514 and others added 28 commits October 6, 2025 17:53
Requesting subdomain dat514.is-a.dev
Add TXT record for domain verification
ftz.is-a.dev and vercel verify
Add Github page challenge record & update contact information for rotzloch.is-a.dev
@pull pull Bot locked and limited conversation to collaborators Oct 18, 2025
@pull pull Bot added the ⤵️ pull label Oct 18, 2025
@pull
pull Bot merged commit e3e7bb6 into devliq:main Oct 18, 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.

7 participants