push to github after merging

cool. I'll keep that in mind for my next cleanup