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