mikemccand commented on issue #7: URL: https://github.com/apache/lucene-jira-archive/issues/7#issuecomment-1179701707
> Sure, I agree this can be postponed - I just wanted to signal that it'd be a nice thing to have. We wouldn't be able to do it anyway - I think it'd have to be a request to infra to set up such a redirect (and we'd need to produce a mapping file of old-new urls). Let's at least open an issue for this (lower priority) future task. It would be great if we could work with Infra to eventually achieve this. But I agree it need not block the initial migration. -- 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: issues-unsubscr...@lucene.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: issues-unsubscr...@lucene.apache.org For additional commands, e-mail: issues-h...@lucene.apache.org
