From mboxrd@z Thu Jan  1 00:00:00 1970
From: elfring@users.sourceforge.net (SF Markus Elfring)
Date: Fri, 5 Feb 2016 22:11:02 +0100
Subject: [Cocci] The Coccinelle repository on GitHub
In-Reply-To: <20160205202627.GA9705@pl-59055.rocqadm.inria.fr>
References: <20160205202627.GA9705@pl-59055.rocqadm.inria.fr>
Message-ID: <56B50FE6.70707@users.sourceforge.net>
To: cocci@systeme.lip6.fr
List-Id: cocci@systeme.lip6.fr

> 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?
Are there any plans to adjust the affected software development process
a bit more?

Regards,
Markus