anchor.diff:  
   To rename or move a file:
   
  -[source,bash]
  -----
  -git mv <i>filename</i> <i>newfilename</i>
  +[source,bash,subs=+quotes]
  +----
  +git mv _filename_ _newfilename_
   git commit -m "ISIS-nnn: yada yada"
   ----
   
  
positive.code: 
  Finally, locate the shaId of the commit you want to roll back to (easily obtained in `gitk -all`), and wind `master` branch back to that commit:
  
  [source,bash]
  ----
  git checkout master
  git reset --hard <i>shaId</i>      # move master branch shaId of common ancestor
  ----
  
  
  
  
negative.code: 
  Note that stashing works even if switching branches
  
  == Ignoring files
  
  Put file patterns into `.gitignore`.
  There is one at the root of the git repo, but they can additionally appear in subdirectories (the results are cumulative).
  