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.

Sign up for GitHub

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

Jump to bottom

mark agents as such #1285

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

mark agents as such #1285

laz-001 opened this issue Feb 13, 2025 · 3 comments · May be fixed by #1286

Comments

@laz-001
Copy link

laz-001 commented Feb 13, 2025

As a newcomer, I got confused with @-theskcd (is it an agent or not?). Agents working on the repo should be marked clearly a such. Ideally an own account, the profile has a link to instructions.

          hey @laz-001 ! This is our agent auto working on issues XD you can tell it to do more by using /[space]agent (without the space) or /[space]q (without the space) `q` would answer your question, and `agent`  would work on the issue further based on your feedback

Originally posted by @theskcd in #1284 (comment)
@theskcd
Copy link
Contributor

theskcd commented Feb 13, 2025

ACK, on it!

@theskcd
Copy link
Contributor

theskcd commented Feb 13, 2025

I'll generate a concise, high-information PR message based on the MCTS data:

🤖 Documentation Update: Clear identification of automated agents in repository

  • Added: New docs/AGENTS.md document with standardized identification patterns for bots including profile badges, naming conventions, and comment headers
  • Updated: README.md with link to agent documentation in the Contributing section
  • Fixed: Confusion for newcomers by establishing consistent agent identification framework

@theskcd theskcd linked a pull request Feb 13, 2025 that will close this issue
Open
@laz-001
Copy link
Author

laz-001 commented Feb 13, 2025

/agent looks great. Just be aware that not all folks perceives emojis as funny/nice/helpfull etc.! You should avoid them, especially in places where filters are difficult to apply. Bonus: no emojis gives in nearly every context a more professional impression.

@laz-001 laz-001 mentioned this issue Feb 13, 2025
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

mark agents as such (Run ID: codestoryai_aide_issue_1285_19b888c5) codestoryai/aide
2 participants
@theskcd @laz-001