search

seL4 / rfcs

RFCs for the seL4 ecosystem
https://sel4.github.io/rfcs/
Other
0 stars 1 forks source link

import current RFCs from Jira #4

Closed lsf37 closed 4 months ago

lsf37 commented 4 months ago

Import all current (open, closed, etc) RFCs from Jira RFCs.

For this we need to figure out how to:

It'd be good to preserve the discussion, so ideally each RFC would become a pull request according to the described process, with comments that contain the discussion. This would also provide a test run for whether we've forgotten anything in the process.

Would be Ok to have just one large comment that has the entire Jira discussion if that makes things easier, but it'd be nice to preserve who said what. We could of course also just link to the old Jira discussion instead.

Maybe we should do that -- link the Jira discussion as a first step and then figure out later if we want to write some kind of script to export comments so we don't need to refer back to Jira in the future.

lsf37 commented 4 months ago

This is now complete, all RFCs have been imported without their Jira discussion, but a link to the corresponding discussion is available from each RFC PR.