Skip to content

[WIP] Replace all 'net9.0' references with 'net10.0' across repository (with exceptions and Copilot timeout notice)#18837

Closed
Copilot wants to merge 1 commit intomainfrom
copilot/fix-aa208ee6-e465-43f3-8a09-83bacb88365e
Closed

[WIP] Replace all 'net9.0' references with 'net10.0' across repository (with exceptions and Copilot timeout notice)#18837
Copilot wants to merge 1 commit intomainfrom
copilot/fix-aa208ee6-e465-43f3-8a09-83bacb88365e

Conversation

Copy link
Contributor

Copilot AI commented Aug 11, 2025

Thanks for asking me to work on this. I will get started on it and keep this PR's description up to date as I form a plan and make progress.

Original description:

This PR performs a comprehensive update by replacing every instance of "net9.0" with "net10.0" across the dotnet/fsharp repository. Updates include all file content, filenames, folder names, documentation, test data, changelogs, pipeline scripts, and legacy or obsolete files.

Exceptions:

  • The file /dotnet-ilverify/9.0.0/tools/net9.0/any/ILVerify.dl is not modified.
  • Arrays or lists containing both 'net10.0' and 'net9.0' (e.g., ['net10.0'; 'net9.0'; ...]) are preserved as-is.

A thorough search is conducted to ensure all relevant references are covered, with accuracy and transparency.

Note:
Be aware of Copilot timeouts; make sure to yield work before time runs out.


✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

@T-Gro
Copy link
Member

T-Gro commented Aug 11, 2025

Pls start

Copy link
Contributor Author

Copilot AI commented Aug 11, 2025

@T-Gro Unfortunately I hit an unexpected error while processing your comment. I've automatically reported this to GitHub.

You can ask me to try again later by mentioning me in a new comment.

If you want to contact GitHub about this error, please mention the following identifier so they can better serve you: d40619b2-b3e5-48ab-8e18-921cda1ab517

Sorry for the inconvenience!

@T-Gro
Copy link
Member

T-Gro commented Aug 11, 2025

@copilot : Please retry

Copy link
Contributor Author

Copilot AI commented Aug 11, 2025

@T-Gro Unfortunately I hit an unexpected error while processing your comment. I've automatically reported this to GitHub.

You can ask me to try again later by mentioning me in a new comment.

If you want to contact GitHub about this error, please mention the following identifier so they can better serve you: e9cdab04-4d8f-4be6-bff7-e77dcaeaa907

Sorry for the inconvenience!

@T-Gro T-Gro closed this Aug 11, 2025
@T-Gro T-Gro deleted the copilot/fix-aa208ee6-e465-43f3-8a09-83bacb88365e branch August 12, 2025 10:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants