It seems that the reporters (and assignees) of the issues have not been mapped. Is this planned?
> Am 12.01.2022 um 14:50 schrieb 'Herve Le Meur' via Jenkins Developers > <[email protected]>: > > Hello! > > As some of you might have already noticed, all issues related to the > Infrastructure project have been migrated from Jira > (https://issues.jenkins.io/projects/INFRA/issues) to Github > (https://github.com/jenkins-infra/helpdesk/issues?q=label%3Aimported-jira-issue) > > It's almost done, several docs linking to the jira project still have to be > updated to point to this Github repository. > > You can find more details and the related infra meeting notes here: > https://github.com/jenkins-infra/helpdesk/issues/9 > > Regards, > > Hervé > > -- > You received this message because you are subscribed to the Google Groups > "Jenkins Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-dev/e564ed63-3fd7-4888-a8b5-6630974ed91cn%40googlegroups.com > > <https://groups.google.com/d/msgid/jenkinsci-dev/e564ed63-3fd7-4888-a8b5-6630974ed91cn%40googlegroups.com?utm_medium=email&utm_source=footer>. -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/DB75232C-4F54-4BC7-AD27-94F2D5292C87%40gmail.com.
