Since it's established we want to migrate to git, is there anything I can do to help this along?
There's a HelenOS organization on GitHub with no repositories and no public members. Whoever owns it, could you please add @le-jzr, so that I can look into setting up an official mirror? @jvesely has been successfuly maintaining an unofficial mirror for quite some time.
_______________________________________________ HelenOS-devel mailing list [email protected] http://lists.modry.cz/listinfo/helenos-devel
