On Wed, Apr 25, 2018 at 09:16:08PM -0500, Ryan Schmidt wrote:
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?
Our bot can easily add labels by parsing the PR body, but automating WIP label removal is kind of useless (the author has to make some changes anyway, so why not change the title). We can search with `WIP in:title` to get a list if we use the title for this. -- Zero
smime.p7s
Description: S/MIME cryptographic signature
