git-pushin Team 39 Git Pushin Kai Patragnoni, kp623 Saket Murali, sm2879 Rohan Sampath, rrs248 Sam Kiesel, stk63 Run the program with the interface you prefer GUI (default): dune exec git-pushin CLI: dune exec git-pushin -- --cli