2019-07-08 15:2:27 (GMT)
Hello, I'm wondering if y'all would like the main repository (c-cube/zipperposition) to be moved to some github organization with several admins (github.com/sneeuwbal?). At this point it feels like Zipperposition is becoming a real team effort, so maybe the repo should reflect that.
2019-07-08 15:30:12 (GMT)
Yes, I think that would be nice. The main practical advantage would be that not only Simon can add new collaborators.
2019-07-08 15:34:52 (GMT)
We can discuss that at the workshop then, I guess, the question is what organization to use, etc.
2019-08-01 16:46:37 (GMT)
The move is done, main contributors are now admin. We also started using github issues to track future and ongoing work.