Skip to content

[Repo Assist] Remove dead commented code from Array.fs; add RepositoryBranch to fsproj#359

Draft
github-actions[bot] wants to merge 2 commits intodeveloperfrom
repo-assist/improve-dead-code-and-apidocs-branch-fix-4b2037de57734b05
Draft

[Repo Assist] Remove dead commented code from Array.fs; add RepositoryBranch to fsproj#359
github-actions[bot] wants to merge 2 commits intodeveloperfrom
repo-assist/improve-dead-code-and-apidocs-branch-fix-4b2037de57734b05

Conversation

@github-actions
Copy link

🤖 This is an automated PR from Repo Assist.

Summary

Two small, low-risk coding improvements:

1. Remove 109 lines of outdated commented-out code from Array.fs

The file contained an entire old partitionSortInPlace / quickSelect / quickSelectInPlace implementation that was superseded by the current Lomuto-partition-based version. It was marked with a comment "Old partitionSortInPlace fails with duplicates" and every line was commented out. This dead code:

  • Added maintenance noise for contributors reading the file
  • Was never compiled or tested
  • Served no documentation purpose beyond what git history provides

2. Add (RepositoryBranch)developer(/RepositoryBranch) to FSharp.Stats.fsproj

FsDoc uses the RepositoryBranch MSBuild property to construct "view source" links in the generated API docs. Without it, FsDoc falls back to the repository default branch (main), so all source links in the docs pointed to main rather than developer — meaning the linked code often didn't match the released docs.

Closes #338

Test Status

✅ Build: succeeded (0 errors, pre-existing warnings only)
✅ Tests: 1191/1191 passed

Generated by Repo Assist ·

To install this agentic workflow, run

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

- Remove 109 lines of outdated commented-out quickSelect implementation
  from Array.fs (superseded by the current Lomuto-partition version)
- Add <RepositoryBranch>developer</RepositoryBranch> to FSharp.Stats.fsproj
  so that FsDoc source links point to the correct 'developer' branch
  instead of defaulting to 'main' (fixes ApiDocs wrong branch links, #338)

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[BUG] ApiDocs github links go to the wrong branch.

0 participants