title: What do I do with a branch after merging it?
body: <p>We use Git for creating documentation, along with Gitlab. I have a branch, <code>shannon</code>, that I created from the <code>master</code> branch. They're tracking remote branches with the same names. </p>
  
  <p>My typical workflow looks like this: </p>
  
  <ol>
  <li>Do work on my project on <code>shannon</code></li>
  <li>Commit my work to local <code>shannon</code></li>
  <li>Push finished work to remote <code>origin/shannon</code></li>
  <li>Create a merge request on Gitlab from <code>shannon</code> to <code>master</code></li>
  </ol>
  
  <p>After the merge is completed, I currently keep the <code>shannon</code> branch alive. </p>
  
  <p>I usually pull <code>origin/master</code> into <code>shannon</code> after creating and closing a merge request, just to keep my branch up to date. </p>
  
  <p>This creates the typical <em>merged master into shannon from &lt; url ></em> commit that is then visible in future merge requests.</p>
  
  <p>Am I doing this right? Should I instead be deleting <code>shannon</code> after a successful merge request and recreating it when I start work again? </p>
  
  <p>I really appreciate any help you can give me! Maybe there's a way to make my workflow more efficient.</p>