/// <summary>
/// Gets a sync agent.
/// </summary>
/// <param name='operations'>
/// The operations group for this extension method.
/// </param>
/// <param name='resourceGroupName'>
/// The name of the resource group that contains the resource. You can obtain
/// this value from the Azure Resource Manager API or the portal.
/// </param>
/// <param name='serverName'>
/// The name of the server on which the sync agent is hosted.
/// </param>
/// <param name='syncAgentName'>
/// The name of the sync agent.
/// </param>
public static SyncAgent Get(this ISyncAgentsOperations operations, string resourceGroupName, string serverName, string syncAgentName)
{
return(operations.GetAsync(resourceGroupName, serverName, syncAgentName).GetAwaiter().GetResult());
}
