Add narrated slides release agent by T-Gro · Pull Request #20813 · dotnet/fsharp · GitHub
Skip to content

Add narrated slides release agent - #20813

Merged
T-Gro merged 2 commits into
mainfrom
t-gro-release-notes-narrated-slides
Oct 21, 2026
Merged

T-Gro merged 2 commits into
mainfrom
t-gro-release-notes-narrated-slides

Conversation

@T-Gro

@T-Gro T-Gro commented Oct 19, 2026

Copy link
Copy Markdown
Member

Description

Adds a slim release-notes-to-narrated-slides agent that turns release-notes URLs into HTML/PDF slides plus presenter script.
It is a wrapper that refers to OnurGumus/codebase-video and copies nothing.
It asks for a design template instead of shipping one.
skill-validator passed locally: skill-validator check --agents .github/agents --allow-repo-traversal --verbose.

Fixes # (issue, if 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>

Copilot-Session: 6cc6e5b6-78b0-43d8-9b4b-d705cb3ec54e
@T-Gro
T-Gro requested a review from a team as a code owner October 19, 2026 14:59
@T-Gro T-Gro added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Oct 19, 2026
Comment thread .github/agents/release-notes-to-narrated-slides.md Outdated
@T-Gro
T-Gro requested a review from abonie October 19, 2026 15:15
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>

Copilot-Session: 6cc6e5b6-78b0-43d8-9b4b-d705cb3ec54e
@T-Gro
T-Gro enabled auto-merge (squash) October 20, 2026 10:03
@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 10aed2c into main Oct 21, 2026
6 checks passed
@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.

3 participants