The real question is — did anyone remember that it existed before Tim brought 
it up? I’m pretty sure we can drop it.

(For the more recent community members, it’s a git mirror of the original svn 
repo that predated the conversion of the official repo to git. We kept it 
around when we migrated.)

-- 
Aymeric.



> On 25 nov. 2015, at 16:16, Marc Tamlyn <marc.tam...@gmail.com> wrote:
> 
> As there are no active PRs there any more I'm pretty sure it can be ditched.
> 
> On 25 November 2015 at 14:36, Tim Graham <timogra...@gmail.com 
> <mailto:timogra...@gmail.com>> wrote:
> Does https://github.com/django/django-old 
> <https://github.com/django/django-old> provide any value? I think it can be 
> deleted. Maybe there are a few links to the pull requests there but I've 
> never come across any.
> 
> -- 
> You received this message because you are subscribed to the Google Groups 
> "Django developers (Contributions to Django itself)" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to django-developers+unsubscr...@googlegroups.com 
> <mailto:django-developers+unsubscr...@googlegroups.com>.
> To post to this group, send email to django-developers@googlegroups.com 
> <mailto:django-developers@googlegroups.com>.
> Visit this group at http://groups.google.com/group/django-developers 
> <http://groups.google.com/group/django-developers>.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/django-developers/cefde00b-f822-45e4-a706-18273a236975%40googlegroups.com
>  
> <https://groups.google.com/d/msgid/django-developers/cefde00b-f822-45e4-a706-18273a236975%40googlegroups.com?utm_medium=email&utm_source=footer>.
> For more options, visit https://groups.google.com/d/optout 
> <https://groups.google.com/d/optout>.
> 
> 
> -- 
> You received this message because you are subscribed to the Google Groups 
> "Django developers (Contributions to Django itself)" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to django-developers+unsubscr...@googlegroups.com 
> <mailto:django-developers+unsubscr...@googlegroups.com>.
> To post to this group, send email to django-developers@googlegroups.com 
> <mailto:django-developers@googlegroups.com>.
> Visit this group at http://groups.google.com/group/django-developers 
> <http://groups.google.com/group/django-developers>.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/django-developers/CAMwjO1HNX8rO9KkFpe62Hb%3DV8SijHLBmNpBi2q3XC6%2BtL0Fsmw%40mail.gmail.com
>  
> <https://groups.google.com/d/msgid/django-developers/CAMwjO1HNX8rO9KkFpe62Hb%3DV8SijHLBmNpBi2q3XC6%2BtL0Fsmw%40mail.gmail.com?utm_medium=email&utm_source=footer>.
> For more options, visit https://groups.google.com/d/optout 
> <https://groups.google.com/d/optout>.

-- 
You received this message because you are subscribed to the Google Groups 
"Django developers  (Contributions to Django itself)" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to django-developers+unsubscr...@googlegroups.com.
To post to this group, send email to django-developers@googlegroups.com.
Visit this group at http://groups.google.com/group/django-developers.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/django-developers/463BDBC3-02F1-43AC-A9F5-E3DFD02C65F1%40polytechnique.org.
For more options, visit https://groups.google.com/d/optout.

Reply via email to