GitHub bot mentions

Save the bot accounts you use on GitHub and mention them quickly in comments. Add exact bot usernames in the extension popup. In a GitHub comment editor, type @ or the start of a bot's username to see matching saved bots. Use the arrow keys and Enter or Tab, or click a suggestion, to insert the full handle and a trailing space. Bot usernames are stored locally in Chrome on your device. The extension runs only on github.com, has no background service, and makes no network requests of its own.