@Dereckson in https://gerrit.wikimedia.org/r/#/c/323651/ points out that 'shellmanagers' is not consistent with the naming of the other roles, which are in singular, and should be named 'shellmanager' instead, as we do for the rest of the patch names + other wikimedia group names.
I think we can do that, but given the special nature of wikitech, I'd like to know if the name 'shellmanagers' is being used in some other place which will require renaming as well to avoid breaking things.