On Apr 25, 2018, at 20:07, Zero King wrote: > On Wed, Apr 25, 2018 at 11:47:21AM -0500, Ryan Schmidt wrote: >> On Apr 25, 2018, at 11:23, Chris Jones wrote: >> >>> I don't think there is any need to re-invent our own system here. There is >>> an already standard why of dong this, which is to declare the request as >>> 'Work In Progress'. This is trivially done by adding 'WIP' to the start of >>> the PR title. >> >> Wouldn't it be more appropriate to use labels, rather than inserting a label >> into the title? > > The problem with labels is that non-members can't apply labels themselves.
Ah. > And the WIP label needs to be removed later so changing the title is more > convenient. Can proper labels not be removed?
