Repoinfo and topush: functions for managing local repo and github
· 🕘 3 min read · 🤖 Matteo Miotto
How to find out which is the latest remote commit and if there are local commits to push
Repository