> On Nov 11, 2016, at 1:28 PM, David Neuman <[email protected]> wrote: > > I actually don't think we can do milestones, labels, or assignees in github > anymore. We lost that when we moved to the incubator github. :( > But we should mark Jiras accordingly and open a Jira for a PR whenever it > makes sense.
Gah, I sent this to the wrong mailing list … :-/ Sorry, — leif
