Am 23.03.2011 03:47, schrieb Terry Reedy: > On 3/22/2011 9:51 PM, "Martin v. Löwis" wrote: >>> Pressing that button seems to create a duplicate patch, which is not >>> good. Given that there is no connection between the repository names >>> (which seem to be duplicated) and the resulting file name, there is no >>> way to tell whether to press the button or what the result will be. >> >> Don't worry about this. It will *not* normally generate the same file >> twice, but notice that it already created it. It's just because the >> same repository was added twice that you can get the same patch out of >> it twice also. > > Could duplicate repositories be prevented?
Yes, that would be possible. Regards, Martin _______________________________________________ Python-Dev mailing list Python-Dev@python.org http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
