xiaxinhang/pr-agent
1
0
Fork 0
mirror of https://github.com/qodo-ai/pr-agent.git synced 2025-07-16 18:40:40 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge remote-tracking branch 'origin/main' into tr/agent_logic

Browse Source
This commit is contained in:
mrT23
2023-07-17 15:59:37 +03:00
parent f8f415eb75 2dfd34bd61
commit c866288b0a
13 changed files with 320 additions and 250 deletions
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)
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: