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.

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

Remove IDE0051 suppression #48245

Merged
merged 3 commits into from
Dec 2, 2021
Merged

Remove IDE0051 suppression #48245

merged 3 commits into from
Dec 2, 2021

Conversation

Youssef1313
Copy link
Member

No description provided.

@Youssef1313 Youssef1313 marked this pull request as ready for review October 2, 2020 18:36
@Youssef1313 Youssef1313 requested a review from a team as a code owner October 2, 2020 18:36
Co-authored-by: Sam Harwell <sam@tunnelvisionlabs.com>
@jinujoseph jinujoseph added Area-IDE Community The pull request was submitted by a contributor who is not a Microsoft employee. labels Oct 3, 2020
@jinujoseph jinujoseph added this to InQueue in IDE: CommunityPR via automation Oct 3, 2020
@jinujoseph jinujoseph moved this from InQueue to BuddyAssigned in IDE: CommunityPR Oct 3, 2020
@Youssef1313 Youssef1313 requested review from sharwell and removed request for a team October 3, 2020 15:46
IDE: CommunityPR automation moved this from BuddyAssigned to LGTM Nov 5, 2020
@sharwell
Copy link
Member

/azp run

@azure-pipelines
Copy link

Azure Pipelines successfully started running 2 pipeline(s).

Base automatically changed from master to main March 3, 2021 23:52
@sharwell sharwell merged commit 6493157 into dotnet:main Dec 2, 2021
IDE: CommunityPR automation moved this from LGTM to Dec-2021 Dec 2, 2021
@ghost ghost added this to the Next milestone Dec 2, 2021
@Youssef1313 Youssef1313 deleted the patch-42 branch December 2, 2021 19:14
@Cosifne Cosifne modified the milestones: Next, 17.1.P3 Jan 5, 2022
@jinujoseph jinujoseph moved this from Dec-2021 to Completed 2021 in IDE: CommunityPR Jan 9, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area-IDE Community The pull request was submitted by a contributor who is not a Microsoft employee.
Projects
IDE: CommunityPR
  
Completed 2021
Development

Successfully merging this pull request may close these issues.

None yet

4 participants