Re: Fwd: JIRA setup done. What to do with the GitHub issues

[Ufuk Celebi]

On 04/06/14 16:06, Robert Metzger wrote:

In my optinion, I would prefer solution c). But I only want to ask Infra
for this, if everybody wants this, otherwise, I'm voting for b).

+1, but I don't think that a) is a real option.