6 ms·Codenames – Turn PR #1234 into "berlin.example.com"2 points by koistya 1y agokoistya 1y agoPlus GitHub Action for it: https://github.com/marketplace/actions/pr-codename https://github.com/marketplace/actions/pr-codename