[Cython] Migration of tickets from trac to github

[Robert Bradshaw]

On Thu, Jul 28, 2016 at 10:15 PM, Yury V. Zaytsev <yury at 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.