-
Notifications
You must be signed in to change notification settings - Fork 71
Description
Description
The copilot-bluespec
was developed outside of this repo, but there's interest in having all Copilot projects and libraries merged into a main repo for ease of management.
Type
- Management: files need to be moved between repos.
Additional context
None.
Requester
- Ivan Perez.
Method to check presence of bug
Not applicable (not a bug).
Expected result
The last state of the copilot-bluespec
is included in this repository, disregarding history, and adjusting the changelog to make the old issues refer to copilot-bluespec#<ISSUE_NUM>
so that they are not interpreted as related to the main Copilot repo.
Desired result
The last state of the copilot-bluespec
is included in this repository, disregarding history, and adjusting the changelog to make the old issues refer to copilot-bluespec#<ISSUE_NUM>
so that they are not interpreted as related to the main Copilot repo.
Proposed solution
Copy last state of copilot-bluespec
as subdirectory of main repo.
Adjust Changelog in copilot-bluespec
to make older issues point to correct repo.
Further notes
None.