Re: Patch queue management systems

[Ted Zlatanov]

On Thu, 11 Dec 2014 15:55:35 +0100 Andreas Schwab <address@hidden> wrote: 

AS> David Kastrup <address@hidden> writes:
>> Doesn't need a separate repo: a server side commit hook refusing
>> non-fast-forward pushes (more exactly: updating the reference after the
>> commit object is already there) on any path not starting, say, with
>> dev/, should be easily possible.

AS> Doesn't even need that as long as you can delete branches.

Doesn't even need that as long as we have Github.

Ted