[Python-Dev] Removing files from the repository

[Petr Viktorin]

On 11/29/2017 07:26 PM, Serhiy Storchaka wrote:
> [...]  Perhaps it is
> worth to track all removals in a special file, so if later you will find 
> that the removed file can be useful you could restore it instead of 
> recreating its functionality from zero in the case if you even don't 
> know that similar file existed.

All removals are tracked by Git, necessarily. It's the command to show 
them that's not obvious (unless you're Finnish):

     git log --oneline --diff-filter=D --summary -- :^/Misc/NEWS.d/