On Thu, Jan 29, 2015 at 01:04:34AM +0100, Matěj Cepl wrote:
And couldn't we make the script which builds the repos
understand some syntax extension to do it? E.g., what about
Perhaps it would do just the retirement of devel branch.
What about that?
The process is going to change soon:
There is at least an interface that allows to not select the devel
branch. But I am not sure what is happening then.