Extensions by michael.hopkins

Merge Manners

🧑‍💻 Developer Tools

Prevents accidental merges of GitHub, GitLab, and Codeberg PRs you didn't author