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

RFC - Allow adding a github issue to chat context #322

Closed
wants to merge 4 commits into from

Conversation

omri123
Copy link
Contributor

@omri123 omri123 commented Nov 5, 2023

Hi, would you like to take a look on this feature?

In the first commit I changed Coder to allow adding arbitrary additional context in the begining of the chat.
In the second commit I used this infra to add github issues to the chat.

I didn't add a new command, instead I extended /add to allow /add \issue-3.
The feature is disabled by default and enabled with a flag. If enabled, the user need to supply github repository name and authentication token.

Thanks
Omri

Issues are added using the existing add command: `/add \issue-3`
The feature is disabled by default and can be enabled using `--github` flag.
To use it, the user need to supply github user token and repository name.
There is no sync between the supplied github repositiry and the actual git repository we sit on.
@omri123 omri123 force-pushed the ctx-issue-rearranged branch from 21c5110 to 64d7bf3 Compare November 5, 2023 10:47
@omri123
Copy link
Contributor Author

omri123 commented Nov 5, 2023

Manually rebased above main

@paul-gauthier
Copy link
Collaborator

Thanks for putting this together. I think I would rather implement support for /add url and just make github issues be just another url you could add as additional context? But maybe there's a benefit to first class support for github issues?

@ryanpeach
Copy link

I like the idea of /add url. With maybe a specialization for github issues in the future.

@paul-gauthier
Copy link
Collaborator

I actually just merged /web <url> into the main branch. This will scrape the url and turn it into fairly clean markdown and then add it to the chat.

The change is available in the main branch. You can get it by installing the latest version from github:

python -m pip install --upgrade git+https://github.com/paul-gauthier/aider.git

If you have a chance to try it, let me know if it works for you.

@omri123
Copy link
Contributor Author

omri123 commented Feb 10, 2024

Sound like a great solution. Closing the issue

@omri123 omri123 closed this Feb 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants