[Python-Dev] Removing files from the repository

[Serhiy Storchaka]

After removing files from the repository they disappear from the source 
tree, and it is even hard to notice this if you don't use it regularly. 
It is hard to track the history of the removed file even if you know it 
exact path. If you know it only approximate this is harder.

I think that any file removals from the repository should pass some 
PEP-like process. Declaring the intention with the rationale, taking a 
feedback, discussing, and finally documenting the removal. 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.