streamline github dev process

[Rainer Müller]

On 2017-05-31 10:40, Mojca Miklavec wrote:
> On 30 May 2017 at 20:23, Helmut K. C. Tessarek wrote:
>> Maybe you could allow maintainers to review and approve other pull requests.
> 
> This would be ideal, but I don't know if there is any way to allow
> that. This is again a question for the GitHub developers.

Anyone on GitHub should be able to review all pull requests. It is also
possible to comment on pull requests, and the same applies to tickets on
Trac.

But if we had people interested in doing reviews, we would not have to
discuss this...

Rainer