Skip to content

LICENSE: add public contact address - #5

Merged
miklosbagi merged 3 commits into
mainfrom
fix-license-email
Aug 15, 2026
Merged

LICENSE: add public contact address#5
miklosbagi merged 3 commits into
mainfrom
fix-license-email

Conversation

@miklosbagi

Copy link
Copy Markdown
Owner

Names mb_invforge@mbag.at as the copyright holder's contact address.

miklosbagi and others added 3 commits August 15, 2026 18:55
- pr-version-label.yml: defaults a new PR to Tag/Patch, and blocks
  merging (as a required check) if more than one of Tag/Patch,
  Tag/Minor, Tag/Major is present. Zero labels is allowed -- an
  explicit way to merge without creating a new version.
- release.yml: on merge, reads whichever Tag/* label was on the PR,
  bumps MAJOR.MINOR.PATCH from the latest existing tag accordingly, and
  creates the tag + a GitHub release (with GitHub's own auto-generated
  notes) against the actual merge_commit_sha -- not the PR branch's
  original head, so this works correctly under merge, squash, or
  rebase strategies alike, and never tags a PR that didn't actually
  land on main.

No LLM call in CI for the bilingual plain-language release summary --
that gets added afterward by a local agent when available.
@miklosbagi
miklosbagi merged commit 16939c7 into main Aug 15, 2026
7 checks passed
@miklosbagi
miklosbagi deleted the fix-license-email branch August 15, 2026 17:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant