Repoinfo e topush: funzioni per la gestione delle repo locali e di github
· 🕘 3 min lettura · 🤖 Matteo Miotto
Come scoprire quale è l'ultimo commit remoto e se ci sono commit da pushare
Repository