Skip to content

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

Merged
pull[bot] merged 27 commits into
alphxn:mainfrom
is-a-dev:main
May 16, 2026
Merged

[pull] main from is-a-dev:main#621
pull[bot] merged 27 commits into
alphxn:mainfrom
is-a-dev:main

Conversation

@pull
Copy link
Copy Markdown

@pull pull Bot commented May 16, 2026

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

kingenious0 and others added 27 commits May 14, 2026 10:08
Add elliot.json with domain owner and record info
Add jorgemayor.is-a.dev feature
Update TXT record in _discord.razan.json
Update TXT records in faris.json
@pull pull Bot locked and limited conversation to collaborators May 16, 2026
@pull pull Bot added the ⤵️ pull label May 16, 2026
@pull pull Bot merged commit 3b3ff10 into alphxn:main May 16, 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.

10 participants