How to: change a user's workspace role