FYI I wrote a small userscript[1] (greasemonkey) that linkify ticket number when browsing github.com/django/django. It's quite useful when reading the source from the web interface since tickets referenced in python comments are just a click away.
[1] https://gist.github.com/2528393 Le dimanche 15 juillet 2012 06:19:03 UTC-4, Florian Apolloner a écrit : > > Hi, > > On Sunday, July 15, 2012 11:07:41 AM UTC+2, Anssi Kääriäinen wrote: >> >> I think we should categorically close pull requests which are non- >> trivial and do not contain ticket reference, and also those pull >> requests which are more than "last polish" away from merge. Even in >> the case of last polish if the author doesn't respond in reasonable >> time (2 weeks for example) close the pull request. >> > > +sys.maxint, especially on the missing ticket number… > -- You received this message because you are subscribed to the Google Groups "Django developers" group. To view this discussion on the web visit https://groups.google.com/d/msg/django-developers/-/mO_u1rXgr00J. To post to this group, send email to django-developers@googlegroups.com. To unsubscribe from this group, send email to django-developers+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/django-developers?hl=en.
