Hi, Infra created a JIRA "namespace" for our project: https://issues.apache.org/jira/browse/FLINK
(Please don't create any issues until we have a decision here. If we want to import all old issues, I would be nice to keep the issue ID's) Jake told me that they normally do not import GitHub issues into JIRA (but there is a JIRA plugin for that) So what do you think would be a good approach for migrating from GitHub to JIRA? I see three options: a) only open new Issues in JIRA b) Import all current open issues from GitHub (around 200) c) Import all (open and close) Issues from GitHub (around 900). For option c) I would kindly ask Infra if they can do anything about it. b) should be feasible for doing manually. And a) will create a lot of confusion and will certainly make things complicated. 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). Whats your opinion? Robert
