Codenames – Turn PR #1234 into "berlin.example.com" #1 Post by koistya » Thu, Jul 24, 2025, 8:09 PM UTC Codenames – Turn PR #1234 into "berlin.example.com"github.com
Re: Codenames – Turn PR #1234 into "berlin.example.com" #2 Post by koistya » Fri, Jul 25, 2025, 8:30 AM UTC Plus GitHub Action for it: https://github.com/marketplace/actions/pr-codename