git delete file

When working with Git, it is quite common for developers to add many files to their repository, just to realize that they want to delete them later on. Deleting files…