Re: Infrastructure status?

On 31/05/2016, Herbert Valerio Riedel wrote: > I'd rather suggest to have 2 Git repos, to keep the concerns separate. > And I think we can just start out with such a 2nd GitHub repo and > make the process up as we go. At this point we should just get moving, as I > sense many

Re: Infrastructure status?

Hello! On 2016-05-31 at 19:50:54 +0200, Iavor Diatchki wrote: > what is the status of the discussion about how we should collaborate? > I am not picky and would be happy to use whatever tools others prefer. > If it was left to me, I'd use: 1) a git repo on github, which contains > the current