Re: [MirageOS-devel] Pinned repos on GitHub

[Hannes Mehnert <hannes@xxxxxxxxxxx>]

On 15/11/2016 11:51, Thomas Leonard wrote:
> On 15 November 2016 at 11:39, Amir Chaudhry <amc79@xxxxxxxxx> 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.

hannes

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel