push to github after merging