push to github after merging

decided these were useless?