Accept API changes from JetBrains.Annotations update in PR #96

[Copilot]

This PR addresses the API verification failures caused by the dependency updates in PR #96. The JetBrains.Annotations package was updated from version 2024.3.0 to 2025.2.0, which introduced a new attribute on the Projects property in the PackageInfo class.

Changes Made

• API Verification: Ran the API verification tests which detected the following change:

  + [set: JetBrains.Annotations.UsedImplicitly]
    public string[] Projects { get; set; }

• Accepted Changes: Used the AcceptApiChanges.sh script to accept the API changes by moving the generated net8.0.received.txt file to net8.0.verified.txt

• Made AcceptApiChanges.sh executable: Updated file permissions for the shell script

What Changed

The PackageInfo.Projects property now has the [set: JetBrains.Annotations.UsedImplicitly] attribute applied to its setter. This is a non-breaking change that adds metadata to indicate the setter is used implicitly, which is a common pattern when the JetBrains.Annotations package is updated.

Verification

• API verification tests now pass successfully
• No functional changes to the public API surface
• The change only adds metadata attributes without affecting runtime behavior

This resolves the API verification test failures and allows PR #96's dependency updates to proceed.

Warning

Firewall rules blocked me from connecting to one or more addresses (expand for details)

I tried to connect to the following addresses, but was blocked by firewall rules:

• aka.ms
  • Triggering command: curl -I -sSL --retry 5 --retry-delay 2 --connect-timeout 15 REDACTED (dns block)

If you need me to access, download, or install something from one of these locations, you can either:

• Configure Actions setup steps to set up my environment, which run before the firewall is enabled
• Add the appropriate URLs or hosts to the custom allowlist in this repository's Copilot coding agent settings (admins only)

---

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

[dennisdoomen]

Can you not update the PR #96 directly?