Descubra las mejores extensiones de Chrome y extensiones de Google para PR-Management
Esta página le muestra la mejor herramienta PR-Management en la extensión de Chrome y la herramienta gratuita PR-Management en la extensión de Chrome.
Las mejores extensiones de Chrome para PR-Management son: Non-squashed merge ALERT!.
Número de extensiones de Chrome:1
Hora de actualización:Noviembre 12 2024
< 5K
Users
0
Alertar a los usuarios sobre los PRs sin aplastar los commits
#PR-Management