>>>>> On Sun, 12 May 2013, Markos Chandras wrote: > This is the kind of policies that kill user contributions. I am very > sad to witness this once again.
I've nothing at all against mirroring the repository at github, or against accepting pull requests there. However, I think that we shouldn't rely on third-party servers running proprietary software for hosting important parts of our documentation. BTW, we had a very similar discussion two years ago about the PMS repository, where moving to github had been suggested, too. > I restored +w to g.o.g.o. Thank you. Ulrich