Re: Patch queue management systems

[David Kastrup]

Ted Zlatanov <address@hidden> writes:

> 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.

It isn't sarcasm if an overwhelming majority of readers would not know
the difference.  This happens to be a publicly archived mailing list.

-- 
David Kastrup