Re: Patch queue management systems

[Ted Zlatanov]

On Thu, 11 Dec 2014 16:26:21 +0100 David Kastrup <address@hidden> wrote: 

DK> Ted Zlatanov <address@hidden> writes:
>> 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.

DK> We don't "have" GitHub.  It's owned by a company and is running
DK> proprietary software to which we don't have access.

Sorry, I forgot to add sarcasm tags.

Ted