Skip to content

Conversation

@sebthom
Copy link
Contributor

@sebthom sebthom commented Oct 24, 2025

@vogella
Copy link
Contributor

vogella commented Oct 24, 2025

That one is nice, if lots of agends support it. @sebthom would Copilot in https://github.com/eclipse-platform/eclipse.platform.ui/blob/master/.github/copilot-instructions.md also support this? If yes, please update the PR to use the same file, would be nice to have only one source of truth.

@sebthom
Copy link
Contributor Author

sebthom commented Oct 24, 2025

@vogella GitHub Copilot supports AGENTS.md directly according https://docs.github.com/en/copilot/how-tos/configure-custom-instructions/add-repository-instructions It is also listed at https://agents.md/ as supporting agent.

@vogella
Copy link
Contributor

vogella commented Oct 24, 2025

Thanks @sebthom, in this case https://github.com/eclipse-platform/eclipse.platform.ui/blob/master/.github/copilot-instructions.md can be deleted? If yes, please update the PR with this change. I moved from Copilot to Claude a few weeks ago but would like to give @laeubi the time to test this, AFAIK he is a heavy Copilot user.

@vogella
Copy link
Contributor

vogella commented Oct 24, 2025

Btw, that for educating me here. I'm happy to see Gemini and codex also in the list of https://agents.md/, so this should cover all our user needs. Sad that Claude needs a special treatment.

@sebthom
Copy link
Contributor Author

sebthom commented Oct 24, 2025

Thanks @sebthom, in this case master/.github/copilot-instructions.md can be deleted? If yes, please update the PR with this change.

I think the file can be deleted (but I am not a copilot user). Also the files currently differ in content. What to do about that?

@vogella
Copy link
Contributor

vogella commented Oct 24, 2025

Thanks @sebthom, in this case master/.github/copilot-instructions.md can be deleted? If yes, please update the PR with this change.

I think the file can be deleted (but I am not a copilot user). Also the files currently differ in content. What to do about that?

IIRC I created both using the AI tools. As it was requested to streamline the documentation of the agents, I suggest to remove it and rely on the new agent file. Copilot could update it later if it need to add information to it.

@sebthom
Copy link
Contributor Author

sebthom commented Oct 24, 2025

Btw. I think the AGENTS.md file contains some irrelevant information (such as **Size:** 127 MB, 7,675+ Java files) and as you know, every token counts...

@vogella
Copy link
Contributor

vogella commented Oct 24, 2025

Btw. I think the AGENTS.md file contains some irrelevant information (such as **Size:** 127 MB, 7,675+ Java files) and as you know, every token counts...

It would great if you remove such information if, based on your experience, these not not helpful to the AI tools. I currently cannot ask Claude why it added these, as I'm already in my 4 hour token limit from using Claude for a Flutter app.

@github-actions
Copy link
Contributor

github-actions bot commented Oct 24, 2025

Test Results

 3 018 files   3 018 suites   2h 30m 45s ⏱️
 8 229 tests  7 980 ✅ 249 💤 0 ❌
23 607 runs  22 813 ✅ 794 💤 0 ❌

Results for commit 275b8ee.

♻️ This comment has been updated with latest results.

@fipro78
Copy link
Contributor

fipro78 commented Oct 24, 2025

Thanks @sebthom, in this case master/.github/copilot-instructions.md can be deleted? If yes, please update the PR with this change.

I think the file can be deleted (but I am not a copilot user). Also the files currently differ in content. What to do about that?

According to https://code.visualstudio.com/docs/copilot/customization/custom-instructions I assume the /.github/copilot-instructions.md can be deleted if you have an AGENTS.md. At least I would understand it that way

@vogella
Copy link
Contributor

vogella commented Oct 24, 2025

LGTM, planning to merge soon

@vogella
Copy link
Contributor

vogella commented Oct 24, 2025

Thanks @sebthom

@vogella vogella merged commit 4acc3e3 into eclipse-platform:master Oct 24, 2025
18 checks passed
@sebthom sebthom deleted the agents.md branch October 24, 2025 18:22
@HannesWell
Copy link
Member

Would it be possible to even further unify these files and have one or at least a common one in a common place, which is used for multiple repositories. E.g. in the .github repository?
I see these files poping up in many repositories and I'm not sure we want to maintain them all individually.

@sebthom
Copy link
Contributor Author

sebthom commented Oct 26, 2025

Would it be possible to even further unify these files and have one or at least a common one in a common place, which is used for multiple repositories. E.g. in the .github repository? I see these files poping up in many repositories and I'm not sure we want to maintain them all individually.

I am not sure if centralization makes much sense since it gives context about the specific repo.

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.

4 participants