tweaked git push animation a bit