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