On 15 Nov 2016, at 12:10, Amir Chaudhry <[email protected]> wrote: > >> >> On 15 Nov 2016, at 11:56, Hannes Mehnert <[email protected]> wrote: >> >> On 15/11/2016 11:51, Thomas Leonard wrote: >>> On 15 November 2016 at 11:39, Amir Chaudhry <[email protected]> wrote: >>>> 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 >>> >>> Good idea. Maybe pin e.g. tcpip, cstruct and cohttp too, to get across >>> the idea of a library OS more? >> >> agreed. could we use mirage-skeleton instead of mirage-www, please? I >> think mirage-www is a bit too hard to understand for beginners. > > We can only pin 6 repos, I’m afraid. Keeping the number small is a good > thing :) > > Thanks for mentioning these libraries! I do think we should keep mirage-www, > as it’s the infrastructure that runs the website and I believe it should be > made easy to find from the org page. > > The list is now (in order): > - mirage > - irmin > - mirage-skeleton > - mirage-tcpip > - ocaml-cohttp > - mirage-www > > Hope that’s ok.
This is a fine start; I'm working on breaking up mirage-www somewhat, so we may have a spare slot shortly. We could replace it with some of the platform repositories when that happens. Anil _______________________________________________ MirageOS-devel mailing list [email protected] https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
