jorisvandenbossche commented on issue #14546: URL: https://github.com/apache/arrow/issues/14546#issuecomment-1295376385
> They're only a click away on the old merged github PRs, and easily findable from the commit message prefixes. They are a click away for those cases indeed. But I quite often search through our (currently JIRA) issues, open and closed, to try to find back some old issue. If our issues start to be split between JIRA and GitHub over time, that means you would have to do this search in two places to have a complete search (and in addition for issues that are now open, you would get duplicated search results in both JIRA and GitHub, so you would have to look in JIRA for a subset of the issues that are not already contained in your github search) -- 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]
