klomp-update: run git push after updating history