On Thu, Jul 28, 2016 at 10:15 PM, Yury V. Zaytsev <y...@shurup.com> wrote: > On Thu, 28 Jul 2016, Robert Bradshaw wrote: > >>> When I click on one of the "migrated from" links to "trac.cython.org", I >>> get redirected back to github, but with the trac ticket number, which means >>> I get either a 404 or a totally different ticket on github. I guess that can >>> be fixed once we have a mapping from trac ticket numbers to github tickets. >> >> >> Yep. Had we not had any issues, we could have maybe kept the numbers, but >> it's too late for that now. > > > Just an idea: one could, of course, disable issues for the main cython > repository and create a separate repository like `cython-issues`. Not sure > if it's worth it though...
That's an idea, though then we'd loose things like pull request linkage and have to migrate the issues that are already there. I think it's worth having a bounded amount of "odd" history with a "standard" setup going forward. _______________________________________________ cython-devel mailing list cython-devel@python.org https://mail.python.org/mailman/listinfo/cython-devel
