Hi, SF Markus Elfring (2016/02/05 22:11 +0100): > > The repository on GitHub is now a mirror of the main developemnt repository. > > This evolution is a nice improvement. - Thank you. > > I am very curious on how our constructive dialogue will evolve further. > > Is it correct that no additional (topic) branches are provided so far?
Yes. The team does not use such branches to collaborate, at a team level. > Are there any plans to adjust the affected software development process > a bit more? Not that I know. Sébastien. _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci