Veiligere merges met Merge Manners
Merge Manners is een handige Chrome-extensie die voorkomt dat gebruikers per ongeluk pull requests (PR's) op GitHub samenvoegen die ze niet hebben aangemaakt. Deze tool is ontworpen om de workflow te verbeteren door de merge-, squash- en rebase-knoppen uit te schakelen voor PR's waar de gebruiker geen auteur van is. Dit zorgt ervoor dat gebruikers zich kunnen concentreren op hun eigen werk zonder het risico van ongewenste merges.
Meest gekozen alternatief
De extensie detecteert of de gebruiker de auteur van de PR is, of ze commits hebben gepusht (co-auteurschap maakt het mogelijk om te mergen) en kan ook bot-PR's herkennen. Voor situaties waarin het nodig is om een PR van iemand anders te mergen, biedt Merge Manners een eenvoudige 1-minuut override optie via het extensie-icoon. De extensie verzamelt geen gegevens en biedt synchronisatie van instellingen via Chrome.
