Tried the GitHub PR workflow to claim a dev subdomain via is-a.dev — a smooth and interesting experience. Learned how DNS + GitHub automation works together. A small milestone but feels great! 🚀✨ => adityakumar.is-a.dev