pushing lots of changes to github in one commit (after accidentally mixing private and public stuff into the same git repo locally)