Is https://addons.mozilla.org/en-US/firefox/addon/bors-for-github-com/ the official bors-extension? It would be useful if the https://github.com/bors-ng/bors-extension readme linked directly to it so we can trust that we are installing the correct thing.
2 Likes
Yeah. That is a good idea.
1 Like