Hm. For the file used for lookup, I see the point of keeping it. But in
general, I don't see the point of keeping files we no longer need -- that's
what VCS systems are for!
On Wed, Nov 29, 2017 at 2:28 PM, Serhiy Storchaka
wrote:
> 29.11.17 21:00, Guido van Rossum пише:
>
>> That sounds a bit e
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 simil
29.11.17 21:00, Guido van Rossum пише:
That sounds a bit excessive. Is there a recent incident that inspired
this proposal?
The concrete inspiration is issue32159 [1]. I am still not sure that
removing these scripts is needed. But there were other cases in which I
was not sure about the ratio
Hi,
Serhiy opened this thread after I removed tools for CVS and Subversion from
the master branch: two scripts and a svnmap.txt file. I removed
Misc/svnmap.txt, a mapping of Subversion commits to Mercurial commits. The
change was approved by 3 core dev, but then I was asked to restore (only)
the s
29.11.17 20:47, Ryan Gonzalez пише:
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 --
or
On Wed, Nov 29, 2017 at 1:47 PM, Ryan Gonzalez wrote:
> Doesn't Git make this rather easy, though?
+1.
PEP-like process for removing/renaming files is too much, in my opinion.
Yury
___
Python-Dev mailing list
Python-Dev@python.org
https://mail.python.
That sounds a bit excessive. Is there a recent incident that inspired this
proposal?
On Wed, Nov 29, 2017 at 10:26 AM, 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
>
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 --
or restore it:
git checkout ^ --
http
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 f
