Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add comment and bug link for static graph restore false #69759

Merged
merged 1 commit into from
Aug 30, 2023
Merged

Add comment and bug link for static graph restore false #69759

merged 1 commit into from
Aug 30, 2023

Conversation

dibarbet
Copy link
Member

@dibarbet dibarbet requested a review from a team as a code owner August 30, 2023 01:20
@dotnet-issue-labeler dotnet-issue-labeler bot added Area-Infrastructure untriaged Issues and PRs which have not yet been triaged by a lead labels Aug 30, 2023
@dibarbet dibarbet enabled auto-merge August 30, 2023 01:37
@dibarbet dibarbet merged commit 4ea3dfd into dotnet:main Aug 30, 2023
@ghost ghost added this to the Next milestone Aug 30, 2023
@dibarbet dibarbet deleted the add_comment_restore branch August 30, 2023 05:12
@allisonchou allisonchou mentioned this pull request Sep 5, 2023
Closed
@Cosifne Cosifne modified the milestones: Next, 17.8 P3 Sep 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jasonmalinowski jasonmalinowski jasonmalinowski approved these changes

Assignees
No one assigned
Labels
Area-Infrastructure untriaged Issues and PRs which have not yet been triaged by a lead
Projects
None yet
Milestone
17.8 P3
Development

Successfully merging this pull request may close these issues.
3 participants
@dibarbet @jasonmalinowski @Cosifne