-
Notifications
You must be signed in to change notification settings - Fork 1
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[WIP] Integrating PR-Agent into the repository (CircleCI) #12
base: main
Are you sure you want to change the base?
Conversation
I have attempted a number of different strategies outlined within the documentation. I have discovered that one utilizing Docker directly is the most straightforward (this will also provide a solution for integration CircleCI), and hence, this should have the GitHub Actions configuration removed. |
PR Analysis
PR Feedback
|
I shall also need to ensure that I have created a separate, dedicated GitHub user account for providing the pull request reviews. |
This may well be restructured as a documentation pull request, as I have successfully deployed, installed, and tested a (slightly) customized PR-Agent from https://github.com/Codium-ai/pr-agent/compare/main...jrgriffiniii:pr-agent:support-github-app-env?expand=1 within my personal test organization using https://github.com/apps/griffinlabs-pr-agent. It now functions as expected (although I am certain that improvements are needed): |
No description provided.