Details
-
Sub-task
-
Status: Resolved
-
Major
-
Resolution: Duplicate
-
None
-
None
-
None
-
None
-
New
Description
If we intend to move the history to GitHub, it should be perfect as far as possible - significantly degraded copies of history are harmful, rather than helpful for future contributors, I think.
Attachments
Attachments
Issue Links
- relates to
-
LUCENE-10557 Migrate to GitHub issue from Jira
-
- Resolved
-