git notes

Git, delete all deleted files

# git rm $(git ls-files --deleted)

Switch to other branch

# git branches
  Master
  Dev1
* Dev2

# git checkout Master
Branch Master set up to track remote branch Master from origin.
Switched to a new branch 'Master'

# git branches
* Master
  Dev1
  Dev2