Migrate closed Jira tickets

[zliu41]

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]

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

[robpangilinanioi]

Github issues you can create per hour. Need to manage and restart the job.

[zeme-wana]

Implemented by https://github.com/IntersectMBO/plutus-private/pull/83