xiaxinhang/pr-agent
1
0
Fork 0
mirror of https://github.com/qodo-ai/pr-agent.git synced 2025-07-15 10:10:38 +08:00
Code Issues Packages Projects Releases Wiki Activity
4,330 Commits 111 Branches 17 Tags
1c5f203b52f94b53e7bff512e05d0c81c322fdb5
Commit Graph

354 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