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

@nathanrice @itsananderson unless they were remote tracking no. I typically don’t use the UI though.

@boogah Agreed. I promoted post locking and the heartbeat far, far more than anything related to post formats to my clients.

@nathanrice if the branch locally was remote tracking (e.g. branch was origin/branch-name) fetch -p should work, otherwise delete in both.

@nathanrice So the branch is still on your local repo? You can delete the branch locally. git branch -d [name]

@KState_Rob nor anyone wearing a neck brace or a turtleneck