Skip to content

Add an F# release documentation author agent - #20628

Merged
T-Gro merged 7 commits into
mainfrom
tomasgrosup-legendary-chainsaw
Oct 21, 2026
Merged

T-Gro merged 7 commits into
mainfrom
tomasgrosup-legendary-chainsaw

Conversation

@T-Gro

@T-Gro T-Gro commented Sep 24, 2026 •

Copy link
Copy Markdown
Member

Description

Add a reusable agent for writing evidence-backed F# release overviews and updating maintained documentation across future releases.

No linked issue. Tests and benchmarks were not run: this change adds agent instructions only. Release notes are not applicable.

Checklist

  • Test cases added

  • Performance benchmarks added in case of performance changes

  • Release notes entry updated:

    Please make sure to add an entry with short succinct description of the change as well as link to this pull request to the respective release notes file, if applicable.

    Release notes files:

    • If anything under src/Compiler has been changed, please make sure to make an entry in docs/release-notes/.FSharp.Compiler.Service/<version>.md, where <version> is usually "highest" one, e.g. 42.8.200
    • If language feature was added (i.e. LanguageFeatures.fsi was changed), please add it to docs/release-notes/.Language/preview.md
    • If a change to FSharp.Core was made, please make sure to edit docs/release-notes/.FSharp.Core/<version>.md where version is "highest" one, e.g. 8.0.200.

    Information about the release notes entries format can be found in the documentation.
    Example:

    If you believe that release notes are not necessary for this PR, please add NO_RELEASE_NOTES label to the pull request.

Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
@T-Gro T-Gro added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Sep 24, 2026
T-Gro and others added 2 commits September 24, 2026 16:25
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
@T-Gro
T-Gro requested a review from abonie September 29, 2026 09:17
T-Gro and others added 4 commits September 29, 2026 11:37
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
@T-Gro T-Gro changed the title Add F# release documentation author agent Add an F# release documentation author agent Oct 16, 2026
@T-Gro
T-Gro marked this pull request as ready for review October 21, 2026 10:38
@T-Gro
T-Gro requested a review from a team as a code owner October 21, 2026 10:38
@github-project-automation github-project-automation Bot moved this from New to In Progress in F# Compiler and Tooling Oct 21, 2026
@T-Gro
T-Gro merged commit 8aa4440 into main Oct 21, 2026
12 checks passed
@T-Gro
T-Gro deleted the tomasgrosup-legendary-chainsaw branch October 21, 2026 16:20
@github-project-automation github-project-automation Bot moved this from In Progress to Done in F# Compiler and Tooling Oct 21, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants