Zijn we er uit dat het (iig voorlopig) github wordt dan? Bèr, kun jij die functionaliteiten dan aanzetten en indien nodig iedereen toegang verlenen? Je gaf in een eerdere mail aan de issues vanuit de diverse pads e.d. te willen kopieeren naar github. Kun je even aangeven of je dit oppakt? Anders doe ik het!