29 Apr
2016
29 Apr
'16
7:02 a.m.
Hi. I'm ok with the general proposals made by Herbert. I'm not a huge fan of github myself, but it seems like the most pragmatic choice right now, and I wouldn't know anything else that is clearly better, so I'm in favour. I'd somewhat prefer to have everything (wiki etc) in one place then, but I don't have strong opinions on this topic. Cheers, Andres