chore: remove redundant words (#3705)

Signed-off-by: finaltrip <finaltrip@qq.com>
This commit is contained in:
finaltrip
2025-02-17 23:24:15 +08:00
committed by GitHub
parent bae52e28f9
commit b065e5abbe
5 changed files with 5 additions and 5 deletions

View File

@@ -19,7 +19,7 @@ namespace GitHub.DistributedTask.WebApi
}
/// <summary>
/// The url to connect to to poll for messages
/// The url to connect to poll for messages
/// </summary>
[JsonProperty("server_url")]
public string ServerUrl