[Python-Dev] Removing files from the repository

Ryan Gonzalez rymg19 at gmail.com
Wed Nov 29 13:47:32 EST 2017

Doesn't Git make this rather easy, though?

e.g. you can find all deleted files with:

git log --diff-filter=D --summary

and find a specific file with (showing glob patterns):

git log --all --full-history -- **/thefile.*

and then show it:

git show <SHA> -- <path-to-file>

or restore it:

git checkout <SHA>^ -- <path-to-file>


On Wednesday, November 29, 2017 12:26:01 PM CST, Serhiy Storchaka wrote:
> 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.

Ryan (ライアン)
Yoko Shimomura, ryo (supercell/EGOIST), Hiroyuki Sawano >> everyone else

More information about the Python-Dev mailing list