/// <summary>
 /// Grants the specified user permissions to the specified workspace.
 /// </summary>
 /// <remarks>
 /// &lt;br/&gt;**Notes**: &lt;li&gt; Users that have been recently added to a
 /// group may not have their new group immediately available, see [Refresh user
 /// permissions](https://docs.microsoft.com/en-us/rest/api/power-bi/users/refreshuserpermissions).
 /// &lt;/li&gt;&lt;br/&gt;**Required scope**:
 /// Workspace.ReadWrite.All&lt;br/&gt;To set the permissions scope, see
 /// [Register an
 /// app](https://docs.microsoft.com/power-bi/developer/register-app).
 /// </remarks>
 /// <param name='operations'>
 /// The operations group for this extension method.
 /// </param>
 /// <param name='groupId'>
 /// The workspace id
 /// </param>
 /// <param name='userDetails'>
 /// Details of user access right
 /// </param>
 public static void AddGroupUser(this IGroupsOperations operations, System.Guid groupId, GroupUser userDetails)
 {
     operations.AddGroupUserAsync(groupId, userDetails).GetAwaiter().GetResult();
 }