Re: Patch queue management systems

[David Kastrup]

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.

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

-- 
David Kastrup