#8391 Unsubscribe from a project when a user is removed from Admin group
When added to Admin group, a user is automatically subscribed to all tools of the project.
But when removed from the Admin group, the subscription remains unchanged and so the user continues to receive mail notifications.
I think the subscription to all tools should be removed when the user is removed from Admin group.
Done in https://forge-allura.apache.org/p/allura/git/merge-requests/386/