Re: separate git tree for docs

2008-07-27 Thread Johannes Schindelin
Hi, On Sun, 27 Jul 2008, Graham Percival wrote: > A month or two ago, there was some discussion about changing the way git > is managed, to allow doc writers to have permission to change > Documentation/user/ but not other parts of the tree. At the time I > begged everybody to shelve the disc

Re: separate git tree for docs

2008-07-27 Thread John Mandereau
On 2008/07/27 00:56 -0700, Graham Percival wrote: > As an idea of the requirements: I currently anticipate 6 people > (not currently listed as members of the devel team) who should > have commit ability to Documentation/user/ after GDP. 1 of those > people is also a translator, which may or may no

separate git tree for docs

2008-07-27 Thread Graham Percival
A month or two ago, there was some discussion about changing the way git is managed, to allow doc writers to have permission to change Documentation/user/ but not other parts of the tree. At the time I begged everybody to shelve the discussion for a few weeks until I wasn't so busy. I'm now no l