wrt "meta pull-requests" milestone... from =JeffH on 2018-09-18 (public-webauthn@w3.org from September 2018)

From: =JeffH <Jeff.Hodges@Kingsmountain.com>
Date: Tue, 18 Sep 2018 09:51:06 -0700
To: Emil Lundberg <emil@yubico.com>
Cc: W3C WebAuthn WG <public-webauthn@w3.org>
Message-ID: <e0439482-4553-8a96-fbd0-232e1299fbee@Kingsmountain.com>

...which in general is a good idea, tho I'm wondering whether we ought 
to make  "meta pull-requests"  a _label_, and then assign such PRs to 
the milestone that the target PR is assigned to?  this way the meta-PRs 
will show up in lists filtered by milestone such as PropRec.

thoughts?

thx,

=JeffH

Received on Tuesday, 18 September 2018 16:51:33 UTC