Re: 10 Tips for Better Pull Requests

[Jacob Carlborg via Digitalmars-d]

On 2015-01-17 00:49, H. S. Teoh via Digitalmars-d wrote:
Does github have that option? If so, can somebody who has the rights
make this change?

Not as far as I can see. The settings page for a project doesn't contain 
much.

--
/Jacob Carlborg