Git

• Checkout a specific commit to another folder

  git --work-tree=/path/to/folder checkout HEAD -- .
  

• Remove file from history

  git filter-branch -f --tree-filter 'rm -rf /path/to/file' HEAD
  

• Deinitialize submodule [link]

  git submodule deinit -f path/to/submodule
  rm -rf .git/modules/path/to/submodule
  git rm -f path/to/submodule
  git checkout -- .