Batch-assign other role to people having [observer, grader, reviewer, manager, lecturer, assistant] role
This makes it easier to advertise graders as Teaching Assistant (decorative role) and to assign other roles to existing observers/managers/etc.
Submitted by Elmer van Chastelet on 22 April 2020 at 10:08