Hi folks, I just noticed that GitHub now allows you to pin repos to your profile or organisation. Apparently this has been around since June but we missed it [1] :)
I’ve now pinned the ‘mirage’, ‘irmin’, and ‘mirage-www’ repos to the top of the GitHub org for MirageOS. This should make it a little easier for newcomers to understand where to first get involved, even if the actual activity happens to be elsewhere. [1] https://github.com/blog/2191-pin-repositories-to-your-github-profile Amir :) _______________________________________________ MirageOS-devel mailing list MirageOS-devel@lists.xenproject.org https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
