[petsc-dev] Prediscusion of appropriate communication tool for discussion of PETSc 4 aka the Grand Refactorization

Jed Brown jed at jedbrown.org
Fri Jun 19 15:26:18 CDT 2020

> On 19 Jun 2020, at 20:39, jed at jedbrown.org<mailto:jed at jedbrown.org> wrote:
> I'd expect we'd have a handful of issues with a common label. Easy to customize notifications.
> Notification scope is either global, group or project.<https://docs.gitlab.com/ee/user/profile/notifications.html#notification-scope> So you can't e.g. mute a single issue and keep others fully notifying, right? But not a big deal probably - I guess those who listen to all the current issue traffic will be interested anyway.

The per-issue notification setting is in the right sidebar.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screenshot_20200619_142436.png
Type: image/png
Size: 136307 bytes
Desc: not available
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20200619/9a44f9ed/attachment-0001.png>

More information about the petsc-dev mailing list