Skip to content

[Repo Assist] Add /// doc comments to batch 2 modules (#1035)#1048

Merged
dsyme merged 2 commits intomainfrom
repo-assist/issue-1035-comment-code-batch2-fd87fd5f2df80e0b
Feb 27, 2026
Merged

[Repo Assist] Add /// doc comments to batch 2 modules (#1035)#1048
dsyme merged 2 commits intomainfrom
repo-assist/issue-1035-comment-code-batch2-fd87fd5f2df80e0b

Conversation

@github-actions
Copy link
Contributor

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

Continues work from #1037 (batch 1, merged), addressing #1035 ("Comment all the code in the repository").

Summary

Adds /// XML doc comments to 3 more source files:

File Before What was added
GenerateHtml.fs 2 comments Module-level doc, fsdocsSummary doc, HtmlRender type doc
ParsePynb.fs 0 comments Module-level doc, ParsedCell type doc, Output sub-module doc, all 9 public/internal functions
Pervasive.fs 2 comments AsyncMaybeBuilder type doc, liftAsync doc, Async module doc, Async.map doc

Comment style followed

  • Public/internal types: proper /// ... XML doc comments explaining purpose
  • Functions: succinct single-line docs
  • No unnecessary comments added to self-evident code

Test Status

✅ Build succeeded: dotnet build FSharp.Formatting.sln --configuration Release — 0 errors
✅ Format: dotnet fantomas — all 3 source files unchanged (already properly formatted)

What's next (future batches)

Larger files still needing comments:

Part of #1035

Generated by Repo Assist

To install this agentic workflow, run

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

…batch 2 of #1035)

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@dsyme dsyme marked this pull request as ready for review February 27, 2026 11:07
@dsyme dsyme merged commit 5d8cf12 into main Feb 27, 2026
4 checks passed
@dsyme dsyme deleted the repo-assist/issue-1035-comment-code-batch2-fd87fd5f2df80e0b branch February 27, 2026 11:07
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.

1 participant