Moving to a mono-repo #6
Closed
sid-agrawal
started this conversation in
General
Replies: 1 comment
-
Punted until the rework is done, and we can revisit this then. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Something to ponder over as we move away from seL4-libs, and
Do we still want to keep git-modules, or shall we merge everything into a giant cellulose mono-repo.
Advantage:
Disadvantage
Beta Was this translation helpful? Give feedback.
All reactions