Skip to content

Release v2.5.1#242

Merged
tig merged 1 commit into
mainfrom
release/v2.5.1
Jun 11, 2026
Merged

Release v2.5.1#242
tig merged 1 commit into
mainfrom
release/v2.5.1

Conversation

@tig

@tig tig commented Jun 11, 2026

Copy link
Copy Markdown
Member

Release v2.5.1

Version: 2.5.1
NuGet Package: Terminal.Gui.Editor 2.5.1

What happens when this PR is merged

  1. The Finalize Release workflow creates tag v2.5.1
  2. The Release workflow builds and pushes Terminal.Gui.Editor 2.5.1 to NuGet.org
  3. A GitHub Release is created with auto-generated notes
  4. A back-merge PR from main -> develop is opened

Checklist

  • CI passes on this PR
  • Version looks correct: 2.5.1
  • Release notes reviewed

Back-merge v2.5.0 from main into develop
@tig tig merged commit 7746fbc into main Jun 11, 2026
21 of 22 checks passed
@tig tig deleted the release/v2.5.1 branch June 11, 2026 14:45
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