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? -- 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 [email protected] https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
