Skip to content

Conversation

@brianrourkeboll
Copy link
Contributor

@brianrourkeboll brianrourkeboll commented Jan 26, 2025

Description

Checklist

No release notes necessary.

@github-actions
Copy link
Contributor

github-actions bot commented Jan 26, 2025

⚠️ 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

@brianrourkeboll brianrourkeboll marked this pull request as ready for review January 26, 2025 23:58
@brianrourkeboll brianrourkeboll requested a review from a team as a code owner January 26, 2025 23:58
@T-Gro T-Gro added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Jan 27, 2025
@T-Gro T-Gro enabled auto-merge (squash) January 27, 2025 09:49
@T-Gro T-Gro merged commit 06e27ed into dotnet:main Jan 27, 2025
34 checks passed
@brianrourkeboll brianrourkeboll deleted the stale-dotnet-reminder branch January 27, 2025 12:01
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.

3 participants