Migrate kernel folder to separate registry repository
Closed this issue · 4 comments
spalladino commented
The Kernel registry and management is mature enough to be moved to its own repo at https://github.com/zeppelinos/registry. Move it there, delete the existing kernel
folder, and close issues #42, #37, #38. #35.
facuspagnuolo commented
Cool! Two minor things:
- What do you think about renaming the repo to
kernel
? - I would leave the lab repo as it is to show how we've been developing and spiking different ideas, thoughts? (e.g. we didn't remove upgradeability stuff)
spalladino commented
Not sure if I like Kernel
, it may get confused with a particular kernel instance. Shall we compromise at kernel-registry
?
spalladino commented
Consider keeping development history of the Kernel folder
facuspagnuolo commented
Closing in favor of https://github.com/zeppelinos/kernel-registry