This is great news! I'm hoping it's the leading edge for visibility into other parts of the project – CI, bugs, etc.
Had you considered using a GitHub repository, as Rust does? It might help with some of the drawbacks noted, particularly tracking changes and reviews. On Tue, Dec 18, 2018 at 4:35 PM <[email protected]> wrote: > The introduction of a public issue tracker will allow us to better > engage with our community, accept more contribution from outside the > seL4 development team, and better communicate the ways in which we are > changing and improving the seL4 ecosystem. >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
