On Tue, 5 Apr 2011 14:54:38 +1000, Bogdan Opanchuk <[email protected]> wrote: > By the way, it would be nice to have this repo mirrored on > github; I think it provides quite a convenient interface for > collaboration.
This has been requested a number of times--I must admit that I don't get it. What does github offer that you don't get from plain git and a mailing list? In particular, if you'd like a mirror, do a 'git push' and you have one. :) Andreas
pgpfqmucwhHiM.pgp
Description: PGP signature
_______________________________________________ PyOpenCL mailing list [email protected] http://lists.tiker.net/listinfo/pyopencl
