Rsclub2_2andClaude Opus 5.5 d311092206 List direct commits on main in the release notes ...

GitHub's generated release notes only cover merged pull requests, so
commits pushed straight to main were missing. The release job now
builds the notes itself: "What's Changed" holds "Commits on main"
(first-parent, without bot and squash-merge commits) and GitHub's PR
list as "Merged PRs".

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

2026-09-22 23:20:40 +02:00

..

ISSUE_TEMPLATE

Merge pull request #37 from Rsclub22/main

2026-06-15 18:12:22 +02:00

latex-manual

Fix Nightly Build...

2026-08-18 17:00:13 +02:00

workflows

List direct commits on main in the release notes

2026-09-22 23:20:40 +02:00