Hi all, There's now a process in place to migrate a plugin/components issue's to GitHub from Jira. See https://github.com/jenkins-infra/repository-permissions-updater/#migrating-from-jira-to-github-issue-trackers
If you're a maintainer just file a pull request to RPU, ideally using the provided script. Currently 925 out of 2,716 repositories are using GitHub issues. That's about 300 more than when I checked in November <https://github.com/jenkinsci/jep/blob/master/jep/238/README.adoc#motivation> (pre core migration and many of the popular plugins). Thanks Tim -- 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 visit https://groups.google.com/d/msgid/jenkinsci-dev/CAH-3BifXQTGRarvG8ioT9n7qK8BYKoCunGJjUj2k_rTk9ZqD4w%40mail.gmail.com.
