deleted missing files: (from console) git ls-files -z --deleted | git update-index -z --remove --stdin