@nathanrice Personally, git checkout master, git merge branch, then after the merge I would do git push origin master, then…