docs: static boolean hasRole( SecurityContext context,
                              String roleName,
                              String repositoryName,
                              String workspaceName ) {
          if (context.hasRole(roleName)) return true;
          roleName = roleName + "." + repositoryName;
          if (context.hasRole(roleName)) return true;
          roleName = roleName + "." + workspaceName;
          return context.hasRole(roleName);
      }