You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
π€ This PR was created by Repo Assist, an automated AI assistant.
Summary (Task 4 β Engineering Investments)
Bundles two small, non-breaking dependency bumps that were already open as individual Dependabot PRs, applying them directly to Directory.Packages.props (no workflow files touched, so this does not hit the push-protection issue that has blocked prior deps bundles, e.g. #1240):
Both are minor version bumps with no breaking changes noted in their release notes (Ionide.ProjInfo 0.75.0 just updates its internal FSharp.Compiler.Service reference; NUnit3TestAdapter 6.3.0 is a routine adapter update).
Maintainers can close #1273 and #1268 after merging this PR.
Test Status
β dotnet restore FSharp.Formatting.sln β restore succeeded with new package versions.
β 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.
Generated by Repo Assist
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 33699124048 -n agent -D /tmp/agent-33699124048
# Create a new branch
git checkout -b repo-assist/deps-bump-projinfo-nunit-20260903-d2883a83e7a6763a main
# Apply the patch (--3way handles cross-repo patches)
git am --3way /tmp/agent-33699124048/aw-repo-assist-deps-bump-projinfo-nunit-20260903.patch
# Push the branch and create the pull request
git push origin repo-assist/deps-bump-projinfo-nunit-20260903-d2883a83e7a6763a
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-20260903-d2883a83e7a6763a --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
π€ This PR was created by Repo Assist, an automated AI assistant.
Summary (Task 4 β Engineering Investments)
Bundles two small, non-breaking dependency bumps that were already open as individual Dependabot PRs, applying them directly to
Directory.Packages.props(no workflow files touched, so this does not hit the push-protection issue that has blocked prior deps bundles, e.g. #1240):Both are minor version bumps with no breaking changes noted in their release notes (Ionide.ProjInfo 0.75.0 just updates its internal FSharp.Compiler.Service reference; NUnit3TestAdapter 6.3.0 is a routine adapter update).
Maintainers can close #1273 and #1268 after merging this PR.
Test Status
dotnet restore FSharp.Formatting.slnβ restore succeeded with new package versions.dotnet build FSharp.Formatting.sln --configuration Releaseβ Build succeeded, 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.propsThe push was rejected because GitHub Actions does not have
workflowspermission 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
Add this agentic workflow to your repo
To install this agentic workflow, run