← All developers

michael.hopkins

[email protected]

1

Extensions

2

Total Users

—

Avg Rating

1

Categories

Developer Tools

Extensions (1)

Most Users Highest Rated Name A-Z Recently Updated

Merge Manners

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

No ratings2 users

Developer Tools