title: Remove a single merged branch from master branch
body: <p>In my master branch, there're following local branches that have been merged, but I would like to remove the <code>local_branch3</code> from master:</p>
  
  <pre><code>local_branch1
  local_branch2
  local_branch3
  local_branch4
  </code></pre>
  
  <p>after removing the <code>local_branch3</code> from master, I would like it to remain a local branch (only deleted from master).</p>
  
  <p>I've check <a href="http://stevenharman.net/git-clean-delete-already-merged-branches" rel="noreferrer">Steve Harman's blog</a> on this similar issue, but that seems also deleting the local branch for ever.</p>
  
  <p><strong>Edit:</strong> to clarify what I meant, as I posted in one of the below comments:</p>
  
  <blockquote>
    <p><em>I would like the master branch to undo the changes resulting from local_branch3 merging, while leaving local_branch3 untouched.</em></p>
  </blockquote>
  
  <p>The reason being that I would like to keep the <code>master</code> branch deliverable while I tweak on <code>local_branch3</code>.</p>