Hi, INFRA-- Here at Jena we are considering moving our Apache git <-> Github mirroring to accept changes at Github and mirror them to Apache git (currently it's the other way around). But right now we have some nice Jira integrations, and so we have some questions about how that would work if we reversed the mirroring.
Currently, any mention of a Jira ticket (e.g. "I think this could affect JENA-1234") in a Github PR automatically copies the conversation for that PR over to the comments in that Jira ticket. Will we be able to keep that integration if we reverse the mirroring? Github treats issues/tickets and PRs very similarly-- is it possible to integrate Jira in a similar way so that a PR that doesn't mention an extant particular Jira ticket automatically files a new Jira ticket? Thanks for any info and all that you already do for us! ajs6f
