Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Generation of Role keys & Share keys #4
Updates over the PR till 6/16:
Often these duties are delegated to others in an administrator role. So the behaviour should be the same for everyone in that role. In other words, role-key updates should also happen for these other users when they modify a role. See /admin/config/people/accounts for details, the "Administrator role" setting.