Commit Graph

3 Commits

Author SHA1 Message Date
75167c2700 add polling 2023-07-08 08:52:11 +03:00
b6333e7f20 Improve handling of tagging and Github app user interaction 2023-07-06 12:58:05 +03:00
4b4d91dfe9 Initial commit - PR-Agent OSS release 2023-07-06 00:21:08 +03:00