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