Skip to content

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

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

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

Conversation

@pull

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

Mr-Dev-Loper and others added 30 commits October 8, 2025 18:23
This PR registers the subdomain tayyab.is-a.dev for Tayyab’s personal developer portfolio

- Owner: Mr-Dev-Loper
- Email: techworldhqofficial@gmail.com
- Hosting: Hostinger (via A record)
- Purpose: Portfolio
- Currently Hosted on free domain https://honeydew-stingray-404070.hostingersite.com/

The A record points directly to my Hostinger server’s IP for a stable and consistent connection.
invalid records fixed
Updated DNS configuration to follow Vercel’s latest recommendation:
- Removed old CNAME record (cname.vercel-dns.com)
- Added new A record (216.198.79.1)

This change ensures compatibility with Vercel’s new Anycast IP range and removes the “DNS Change Recommended” warning in the dashboard.
Create _github-pages-challenge-Dekoder-py.kyle-b.json
update records for subdomain cmse7en vercel
Add pwn.json for domain configuration
chore(dns): switch mulugeta.is-a.dev from CNAME to A record
Adding manju is a dev domain
Add bengeois.is-a.dev domain
@pull pull Bot locked and limited conversation to collaborators Oct 11, 2025
@pull pull Bot added the ⤵️ pull label Oct 11, 2025
@pull
pull Bot merged commit 77eaaf5 into devliq:main Oct 11, 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.