On Mon, Jul 20, 2015 at 8:15 AM, Ian Jackson wrote:

> But I understood Paul to be saying that such software (that, for
> example, Antonio is looking for) already exists.  Which is why I asked
> these questions about it.  But it turns out that the implementation
> you were pointing at doesn't actually do what is needed, as far as I
> can see.  It deals with the needs of a wiki, which are rather
> different.

Yeah, I was just pointing you in a direction that would allow
anonymous submission of pushes, which you could then use for pull
request storage.

> I just want to know if I'd be wasting my time if I wrote something to
> try to address the problem discussed in this thread.  Or, if that
> would be a waste of time, what needs to be written (or used) instead.

I think it would be awesome to have a pull requests feature in every
git repo but I think that the design and implementation should be done
upstream rather than on debian-devel.

-- 
bye,
pabs

https://wiki.debian.org/PaulWise


-- 
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: 
https://lists.debian.org/caktje6ejf6gitx3qdwgmmg1bqazqmj-f0ovq63l3ogvc-ku...@mail.gmail.com

Reply via email to