I'm receiving notifications for all activities originating from Merge Requests since I'm listed as developer of PETSc. The level of notification set in my GITLAB profile is "participate". Should I push this down to "mentions"? Are "developers" always participating in Merge Request discussions?
-- Stefano