Re: [petsc-dev] Gitlab notifications and labels

2019-11-15 Thread Smith, Barry F. via petsc-dev
Scott, Thanks for researching this and send it out. Yes, I think all MR on DMPLEX should use a label DMPLEX; I don't think having an additional DM label is worth the effort since all the meat at the moment is DMPLEX. We should probably also have a TS label. Maybe others wil

[petsc-dev] Gitlab notifications and labels

2019-11-14 Thread Scott Kruger via petsc-dev
In a conversation with Barry, he mentioned that we hadn't really discussed label subscription on this mailing list, despite the fact that this is perhaps the more useful control of notifications than what is in given in Settings. Following up on this discussion, if folks go here: https://git