This post is unavailable.
Replying to @directhex
@directhex git push --delete remote branchname I know it's not ideal, but what would you prefer?

Aug 27, 2015 ยท 9:56 AM UTC