[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] Pinned repos on GitHub

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



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.