Re: [MirageOS-devel] Pinned repos on GitHub

[Thomas Leonard <talex5@xxxxxxxxx>]

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?


-- 
talex5 (GitHub/Twitter)        http://roscidus.com/blog/
GPG: 5DD5 8D70 899C 454A 966D  6A51 7513 3C8F 94F6 E0CC
GPG: DA98 25AE CAD0 8975 7CDA  BD8E 0713 3F96 CA74 D8BA

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