Skip to content

Conversation

@vzarytovskii
Copy link
Member

It's not useful for us since it doesn't cross azdo<->gh boundaries.

It's not useful for us since it doesn't cross azdo<->gh boundaries.
@vzarytovskii vzarytovskii added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Mar 19, 2024
@vzarytovskii vzarytovskii requested a review from a team as a code owner March 19, 2024 13:03
@github-actions
Copy link
Contributor

⚠️ Release notes required, but author opted out

Warning

Author opted out of release notes, check is disabled for this pull request.
cc @dotnet/fsharp-team-msft

@T-Gro T-Gro enabled auto-merge (squash) March 19, 2024 14:19
@T-Gro T-Gro merged commit 696c1a5 into main Mar 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

5 participants