IntersectMBO / plutus

The Plutus language implementation and tools
Apache License 2.0
1.55k stars 465 forks source link

Migrate closed Jira tickets #6002

Open zliu41 opened 1 month ago

zliu41 commented 1 month ago

Closed Jira tickets should be migrated to somewhere private, such as a private repo. Automation would be necessary since there are too many of them.

ana-pantilie commented 2 weeks ago

Blocked on actually having a private repo (which only the core team can access).