Skip to content

Fix GitHub Release title to use ReleaseTag#160

Merged
petrsnd merged 1 commit into
OneIdentity:mainfrom
petrsnd:chore/fix-release-title
May 16, 2026
Merged

Fix GitHub Release title to use ReleaseTag#160
petrsnd merged 1 commit into
OneIdentity:mainfrom
petrsnd:chore/fix-release-title

Conversation

@petrsnd
Copy link
Copy Markdown
Member

@petrsnd petrsnd commented May 16, 2026

One-line fix: change GitHub Release title from \ to \ for consistency with all other Safeguard repos.

Change title from $(version) to $(ReleaseTag) to match the
convention used across all other Safeguard repos.
@petrsnd petrsnd requested a review from a team as a code owner May 16, 2026 18:27
@petrsnd petrsnd merged commit c414797 into OneIdentity:main May 16, 2026
1 check passed
@petrsnd petrsnd deleted the chore/fix-release-title branch May 16, 2026 18:31
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