Re: [dev] github mirror

From: Kai Hendry <>
Date: Tue, 3 Jul 2012 12:54:50 +0200

On 3 July 2012 12:47, Nick <> wrote:
> Is there any point in this other than as a distributed backup?
> I worry it may slightly fragment things, with people searching for
> dwm and using the github copy, rather than our primary one. Or
> sending us github pull requests rather than patches.

Well I'm hoping for more, since I quite like the github BTS and UI.

Depends on how many of suckless authors I can convince to take an
interest. ;) Don't think it would work if I'm some sort of proxy.

I think the github UI has some value at least.

I'll work on a _AT_daily cronjob that will hopefully keep it synced.
Received on Tue Jul 03 2012 - 12:54:50 CEST

This archive was generated by hypermail 2.3.0 : Tue Jul 03 2012 - 13:00:15 CEST