h-vetinari commented on PR #2316: URL: https://github.com/apache/orc/pull/2316#issuecomment-3042709419
> Could you create a JIRA ticket for this? The PR title should use JIRA id not the Github issue id. Why do you have duplicate issue tracking systems? I opened #2315 already. You can just copy & paste that to JIRA if you want, but IMO you should either switch off issues on this repos or decommission JIRA. Asking contributors to do redundant work like that will just mean people contribute less (because who wants to waste their time like that). -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
