ti.sil/pr-agent
1
0
Fork 0
mirror of https://github.com/qodo-ai/pr-agent.git synced 2025-12-14 03:45:18 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

A small typo

Browse source
This commit is contained in:
Ori Kotek 2023-07-16 21:47:50 +03:00
parent 559b160886
commit 0b1edd9716
No known key found for this signature in database
GPG key ID: 5AAFD0757D1EAC4C
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
pr_agent/servers/github_polling.py
View file

@ -94,7 +94,7 @@ async def polling_loop():
success = await agent.handle_request(pr_url, rest_of_comment) success = await agent.handle_request(pr_url, rest_of_comment)
if not success: if not success:
git_provider.set_pr(pr_url) 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)) bot_help_text(user_id))
elif response.status != 304: elif response.status != 304: