xiaxinhang/pr-agent
1
0
Fork 0
mirror of https://github.com/qodo-ai/pr-agent.git synced 2025-07-21 04:50:39 +08:00
Code Issues Packages Projects Releases Wiki Activity
1,057 Commits 111 Branches 17 Tags
e1b51eace71871898d4f84974989621a7cee8e8e
Commit Graph

104 Commits

Author SHA1 Message Date
Ori Kotek
6648c04799 Protect from notifications that may be handled twice by keeping a set of handled notification IDs 2023-07-06 17:46:43 +03:00
Ori Kotek
399d7b7990 Improve handling of tagging and Github app user interaction - a small correction 2023-07-06 13:09:51 +03:00
Ori Kotek
b6333e7f20 Improve handling of tagging and Github app user interaction 2023-07-06 12:58:05 +03:00
Ori Kotek
4b4d91dfe9 Initial commit - PR-Agent OSS release 2023-07-06 00:21:08 +03:00