I would like to try (c), if there is an automated way of doing it, and fall back to (b) of needed.
- Fwd: JIRA setup done. What to do with the GitHub issues Robert Metzger
- Re: JIRA setup done. What to do with the GitHub issues Fabian Hueske
- Re: Fwd: JIRA setup done. What to do with the GitHub i... Ufuk Celebi
- Re: Fwd: JIRA setup done. What to do with the GitH... Stephan Ewen
- Re: Fwd: JIRA setup done. What to do with the ... Robert Metzger
- Re: Fwd: JIRA setup done. What to do with ... Robert Metzger
- Re: Fwd: JIRA setup done. What to do ... Stephan Ewen
- Re: Fwd: JIRA setup done. What to... Robert Metzger
