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

[DOC] Document the GithubAgent Feature #1291

Open
laz-001 opened this issue Feb 13, 2025 · 6 comments · May be fixed by #1292
Open

[DOC] Document the GithubAgent Feature #1291

laz-001 opened this issue Feb 13, 2025 · 6 comments · May be fixed by #1292
Labels
enhancement New feature or request

Comments

@laz-001
Copy link

laz-001 commented Feb 13, 2025

Idea

fascinated by this agent (theskcd) the runs around in this repo.

my (paid) AIDE IDE Agent says

Based on your question about using me on GitHub via issues/PRs, I should explain what I know about my capabilities.
I am SOTA-agent, a local development assistant designed to work within your development environment. I don't have direct integration with GitHub issues or pull requests. I'm specifically designed to help with local development tasks by interacting with files, running commands, and making code changes in your local workspace. For GitHub interactions, you would need to use GitHub's own tools or a different AI assistant that's specifically integrated with GitHub's platform.

maybe document what the agent here on the AIDE repo is about, if there's a relation to AIDE-IDE agents.

My question: how can i obtain an own instance of an in-repo agent?

@laz-001 laz-001 added the enhancement New feature or request label Feb 13, 2025
@theskcd
Copy link
Contributor

theskcd commented Feb 13, 2025

ACK, on it!

@theskcd
Copy link
Contributor

theskcd commented Feb 13, 2025

@laz-001 Hey! That would be interesting, we are still evaluating if this is a true need people have or more of a good to have. Would love to know how you would go about using it

@theskcd
Copy link
Contributor

theskcd commented Feb 13, 2025

🔄 Documentation Update: Created GithubAgent feature documentation

  • Added: New GithubAgent.md in the GitHub directory documenting what we know about proactive agents
  • Research: Conducted thorough searches for references to "theskcd" and GitHub agents
  • Details: Explains our findings on proactive agents mentioned in README.md while noting that specific "theskcd" GitHub agent documentation could not be located

The documentation provides a starting point for understanding this feature and can be expanded as more information becomes available.

@laz-001
Copy link
Author

laz-001 commented Feb 13, 2025

Would love to know how you would go about using it

i would create an github account, assign it to the bot.

within a solo project, the agent can assist me to overcome "the first step barriers". I file issues, agent creates a draft (or even final) PR, i go on and correct/complement.

far better that filing issues/prs alone.

@laz-001
Copy link
Author

laz-001 commented Feb 13, 2025

In a project with the first alpha/beta testers, this gets more interesting. users file issues and get quick first feedback. solo-dev (poor me) has reduced workload to identify bug-locations etc. (at minimum).

@laz-001
Copy link
Author

laz-001 commented Feb 14, 2025

/agent take a look at info within #1291 (comment). Your document needs to become more compact, write mostly what you know, without much theoretizing.

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
2 participants