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