Migrate kernel folder to separate registry repository

OpenZeppelin / openzeppelin-labs

A space for the community to interact and exchange ideas on the OpenZeppelin platform. Do not use in production!

https://openzeppelin.com/

MIT License

375 stars 116 forks source link

Migrate kernel folder to separate registry repository #57

Closed spalladino closed 6 years ago

spalladino commented 6 years ago

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 6 years ago

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 6 years ago

Not sure if I like Kernel, it may get confused with a particular kernel instance. Shall we compromise at kernel-registry?

spalladino commented 6 years ago

Consider keeping development history of the Kernel folder

facuspagnuolo commented 6 years ago

Closing in favor of https://github.com/zeppelinos/kernel-registry