Skip to content
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

Improve the github bot UX #67

Closed
3 tasks
guymguym opened this issue Jun 9, 2022 · 4 comments
Closed
3 tasks

Improve the github bot UX #67

guymguym opened this issue Jun 9, 2022 · 4 comments
Labels
enhancement New feature or request
Milestone

Comments

@guymguym
Copy link
Contributor

guymguym commented Jun 9, 2022

Currently the bot only comments back with stdout and stderr of executing copilot-ops, see for example - #51 (comment).

We can improve it the elephant salami method:

  • The bot should use --write to apply the generate/edit changes to the checked out repo, and then create a git diff output that will be sent as the answer to the issuer.
  • The bot should create a PR with a fixed name, e.g copilot-ops-fix-<issuenumber>, so that subsequent requests on the same issue would checkout the same PR, and every request will then push a new commit to this PR.
  • Publish the bot action as a github action in the marketplace so that any repo can embed it and use it (bringing its own openai api key).
@guymguym guymguym added the enhancement New feature or request label Jun 9, 2022
@guymguym guymguym added this to the v0.2 milestone Jun 22, 2022
@RobotSail
Copy link
Collaborator

Potentially adapt this for a bot workflow instead of github actions

@guymguym
Copy link
Contributor Author

guymguym commented Jul 7, 2022

@guymguym
Copy link
Contributor Author

guymguym commented Jul 7, 2022

@RobotSail created a github app on his account. To be transfered to @redhat-et or to its own org.

@guymguym
Copy link
Contributor Author

guymguym commented Aug 1, 2022

closing this one in favor of the bot repo - redhat-et/copilot-ops-bot#2

@guymguym guymguym closed this as completed Aug 1, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants