Hi, where to find the codebase of @GitHubPRBot ?
Ideally this was part of the information in https://phabricator.wikimedia.org/p/GitHubPRBot/
Tickets like https://phabricator.wikimedia.org/T432192 IMHO should also have a Release tag, and not use boring Phabricator task URLs but {T123456} style so readers can actually see relevant information instead of boring URIs.