title: Deleting a local Git Branch that was never pushed - delete it on the server, too?
body: <p>I made a local branch, but then realized that I do not need it.</p>
  
  <p>If I delete it from the local repo, will I have to delete from the remote, too? I just made that branch and did not add, commit or pushed anything into it - in short I did not do anything in it. </p>