From 0b1edd9716160bf57eecf307db72439b5443704d Mon Sep 17 00:00:00 2001 From: Ori Kotek Date: Sun, 16 Jul 2023 21:47:50 +0300 Subject: [PATCH] A small typo --- pr_agent/servers/github_polling.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pr_agent/servers/github_polling.py b/pr_agent/servers/github_polling.py index c46cf51b..4e567862 100644 --- a/pr_agent/servers/github_polling.py +++ b/pr_agent/servers/github_polling.py @@ -94,7 +94,7 @@ async def polling_loop(): success = await agent.handle_request(pr_url, rest_of_comment) if not success: git_provider.set_pr(pr_url) - git_provider.publish_comment("### How to user PR-Agent\n" + + git_provider.publish_comment("### How to use PR-Agent\n" + bot_help_text(user_id)) elif response.status != 304: