>> So, our maintainers will take on the responsibility of mirroring GitHub
>>issues on JIRA. This includes comments.
>
>"This includes comments" seems totally unreasonable.  More reasonable
>would be leaving GitHub issue trackers open, and when a new issue is
>posted, do the following:
>
>- opening a corresponding tracker on Jira
>- post a link to that tracker in the GitHub issue, and then close the
>issue

+1

Reply via email to