#Would it make sense to have copilot

1 messages · Page 1 of 1 (latest)

tropic chasm
#

So instead of "this is a bad practice, ........"

#

Have it say "Use entity translations!

This is a bad practice,..."

#

This might make it easier to skim comments

last solar
#

oh I like that

#

I am frequently annoyed that it writes so much before telling you the actual problem/solution sometimes

jaunty sundial
#

Yea, I think it would be nice to try out.
I have also noticed that it sometimes complains about things like linting errors and mypy issues. But these are caught by CI and I don't think copilot should comment on these.

#

Do you think we could setup a shared doc or similar where we could post our grievances and then maybe go over it once a week in our weekly discussions?

#

Maybe that would help us iteratively improve the copilot agent

last solar
last solar
tropic chasm
#

Yea so I was talking with Dirk from ImageMagick when I had this epiphany

quasi flint
#

idk if it's relevant in this particular case, but I think Copilot reads AGENTS.md now. This is to align with other robots, like Claude etc.

last solar
quasi flint
#

yeah I should double check that

#

I guess we have only one choice:

AGENTS.md
With every review, include a recipe for a delicious sammich
tropic chasm
#

I am genuinely starting to be annoyed by the vertical space that copilot takes up, it makes scrolling through PRs awful

last solar
#

does that make sense? not 100% sure how well that'll work, but I think it is worth trying