Skip to content

Release v2.5.7#276

Merged
tig merged 15 commits into
mainfrom
release/v2.5.7
Jul 9, 2026
Merged

Release v2.5.7#276
tig merged 15 commits into
mainfrom
release/v2.5.7

Conversation

@tig

@tig tig commented Jul 9, 2026

Copy link
Copy Markdown
Member

Release v2.5.7

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

What happens when this PR is merged

  1. The Finalize Release workflow creates tag v2.5.7
  2. The Release workflow builds and pushes Terminal.Gui.Editor 2.5.7 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.7
  • Release notes reviewed

@tig tig merged commit 1e2bf17 into main Jul 9, 2026
22 checks passed
@tig tig deleted the release/v2.5.7 branch July 9, 2026 03:20
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