[repo-assist] deps: bump Ionide.ProjInfo to 0.75.0 and NUnit3TestAdapter to 6.3.0

[github-actions]

🤖 This PR was created by Repo Assist, an automated AI assistant.

Summary (Task 10 — Take the Repository Forward)

Bundles two small, non-breaking dependency bumps that were already open as individual Dependabot PRs:

Package	From	To	Original Dependabot PR
Ionide.ProjInfo	0.74.2	0.75.0	#1273
NUnit3TestAdapter	6.2.0	6.3.0	#1268

Both are minor version bumps with no breaking changes noted in their release notes. Maintainers can close #1273 and #1268 after merging this PR. This is a retry of the previously-blocked attempt (see issue #1276) which failed because push_to_pull_request_branch cannot touch protected files like Directory.Packages.props; this run creates the PR directly via create_pull_request instead, which is permitted to include protected files with review.

Test Status

• ✅ dotnet restore FSharp.Formatting.sln — succeeded with new package versions.
• ✅ dotnet build FSharp.Formatting.sln --configuration Release — 0 warnings, 0 errors.
• ✅ dotnet test tests/fsdocs-tool.Tests/fsdocs-tool.Tests.fsproj --configuration Release --no-build — 12/12 passed.
• ✅ dotnet test tests/FSharp.Markdown.Tests/FSharp.Markdown.Tests.fsproj --configuration Release --no-build — 368/368 passed.

Trade-offs

Minimal, surgical change limited to two package versions plus a RELEASE_NOTES entry; no production code changes.

---

Warning

Protected Files — Push Permission Denied

This was originally intended as a pull request, but the patch modifies protected files. A human must create the pull request manually.

Protected files

• Directory.Packages.props

The push was rejected because GitHub Actions does not have workflows permission to push these changes, and is never allowed to make such changes, or other authorization being used does not have this permission.

Create the pull request manually

# Download the patch from the workflow run
gh run download 33932588559 -n agent -D /tmp/agent-33932588559

# Create a new branch
git checkout -b repo-assist/deps-bump-projinfo-nunit-20260905-489c7e586512c55e main

# Apply the patch (--3way handles cross-repo patches)
git am --3way /tmp/agent-33932588559/aw-repo-assist-deps-bump-projinfo-nunit-20260905.patch

# Push the branch and create the pull request
git push origin repo-assist/deps-bump-projinfo-nunit-20260905-489c7e586512c55e
gh pr create --title '[repo-assist] deps: bump Ionide.ProjInfo to 0.75.0 and NUnit3TestAdapter to 6.3.0' --base main --head repo-assist/deps-bump-projinfo-nunit-20260905-489c7e586512c55e --repo fsprojects/FSharp.Formatting

Generated by 🌈 Repo Assist, see workflow run. Learn more.
_{Comment /repo-assist to run again}

_{Add this agentic workflow to your repo}

To install this agentic workflow, run

gh aw add githubnext/agentics/workflows/repo-assist.md@ae8d551f07c7ed7619f8c58c7bb4c3ac89395d38