Le pull request sono una delle funzionalità di GitHub e Git che amo di più, o forse una delle poche che amo dato che ho un interessante rapporto di odio/amore (più odio che amore) con Git*.

Comunque, una delle cose per cui usiamo moltissimo le PR in Particular è per discutere potenziali modifiche. In questo caso una cosa che volete assolutamente evitare come la peste è che un maintainer passi via e faccia il merge di una PR che non deve in nessun modo essere mergiata.

Al fine di garantire che ciò non avvenga abbia un concetto chiamato “WIP PR” che si traduce molto semplicemente nell’usare il prefisso “[WIP]” nel titolo della PR, questo segnala a chiunque lo scopo della PR.

Al fine di comunque garantire che la merge non avvenga per errore è sufficiente installarsi una simpatica estensione per Chrome: Do Not Merge WIP for GitHub

Che una volta attiva altro non fa che disabilitare il bottone merge per le WIP PR.

Comodo, semplice e a prova di distrazione.