anchor.diff:  
   First, create a branch for your current commit:
   
  -[source,bash]
  -----
  -git branch <i>newbranch</i>
  +[source,bash,subs=+quotes]
  +----
  +git branch _newbranch_
   ----
   
   Next, make sure you have no outstanding edits.
  
positive.code: 
  When, eventually, you have reintegrated this branch, you can delete the remote branch using:
  
  [source,bash]
  ----
  git push origin --delete <i>branchname</i>
  ----
  
  For more detail, see this link:http://stackoverflow.com/questions/2003505/how-do-i-delete-a-git-branch-both-locally-and-in-github[stackoverflow post].
  
negative.code: 
  To rename or move a file:
  
  [source,bash,subs=+quotes]
  ----
  git mv _filename_ _newfilename_
  git commit -m "ISIS-nnn: yada yada"
  ----
  
  