From mboxrd@z Thu Jan 1 00:00:00 1970 Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) From: yoann padioleau In-Reply-To: <20141208205232.559f6e1d@zinc.9fans.fr> Date: Mon, 8 Dec 2014 12:30:27 -0800 Content-Transfer-Encoding: quoted-printable Message-Id: References: <20141207174103.461d2e0c@zinc.9fans.fr> <20141208112404.euq2lgO-%sdaoden@yandex.com> <20141208205232.559f6e1d@zinc.9fans.fr> To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net> Subject: Re: [9fans] plan 9 on github Topicbox-Message-UUID: 35e19c10-ead9-11e9-9d60-3106f5b1d025 This is great! Thx! I had a few bug reports on the kernel that I think never got included in the mainline plan9. Should I make pull requests? = Is there anyway this github repo could be synchronized with the main = plan9-labs repo? On Dec 8, 2014, at 11:52 AM, David du Colombier <0intro@gmail.com> = wrote: >> You could have used --aggressive garbage collection, >> it reduces the package to exactly 100MB. >=20 > Yes. Unfortunately, this is too late for the GitHub > repository now. On the other side, it would be only > 10 MB smaller. >=20 > --=20 > David du Colombier >=20