Prevents merging PRs unless it has a label
queste sono le versioni di questo script in cui il codice è stato aggiornato Visualizza tutte le versioni.
Tweak merge button detection
format
Make it configurable
