Comment by l72

You can always use something like this [1], which will make sure any file removed on the command line via rm (or other utilities, like git rm) ends up in the trash instead

[1] https://github.com/faratech/trashd