First of all, thank you for adding the profile name display to the bot — it’s really helpful for knowing which profile is currently in use. However, there are still a few inconveniences. For example, ...

Pull requests help you collaborate on code with other people. As pull requests are created, they’ll appear here in a searchable and filterable list. To get started, you should create a pull request.