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

Fix spacing when generating editorconfig options from UI #54601

Merged
merged 1 commit into from Nov 7, 2021
Merged

Fix spacing when generating editorconfig options from UI #54601

merged 1 commit into from Nov 7, 2021
+20 −22

Conversation

Youssef1313
Copy link
Member

Fixes #53833

@Youssef1313 Youssef1313 requested a review from a team as a code owner July 4, 2021 11:41
@jinujoseph jinujoseph added the Community The pull request was submitted by a contributor who is not a Microsoft employee. label Jul 5, 2021
@jinujoseph jinujoseph added this to InQueue in IDE: CommunityPR via automation Jul 5, 2021
@jinujoseph jinujoseph moved this from InQueue to BuddyAssigned in IDE: CommunityPR Jul 5, 2021
IDE: CommunityPR automation moved this from BuddyAssigned to LGTM Jul 26, 2021
@jmarolf
Copy link
Contributor

jmarolf commented Nov 3, 2021

/azp run

@azure-pipelines
Copy link

Azure Pipelines successfully started running 4 pipeline(s).

@jmarolf
Copy link
Contributor

jmarolf commented Nov 5, 2021

/azp run

@azure-pipelines
Copy link

Azure Pipelines successfully started running 4 pipeline(s).

@jmarolf jmarolf closed this Nov 5, 2021
auto-merge was automatically disabled November 5, 2021 21:56

Pull request was closed

IDE: CommunityPR automation moved this from LGTM to Nov-2021 Nov 5, 2021
@jmarolf jmarolf reopened this Nov 5, 2021
@jmarolf jmarolf merged commit ae8beb0 into dotnet:main Nov 7, 2021
@ghost ghost added this to the Next milestone Nov 7, 2021
@Youssef1313 Youssef1313 deleted the editorconfig-format branch November 8, 2021 05:39
@allisonchou allisonchou modified the milestones: Next, 17.1.P2 Nov 30, 2021
@jinujoseph jinujoseph moved this from Nov-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
Reviewers

@ryzngard ryzngard ryzngard approved these changes

@jmarolf jmarolf jmarolf approved these changes

Assignees

@jmarolf jmarolf

Labels
Area-IDE Community The pull request was submitted by a contributor who is not a Microsoft employee.
Projects
IDE: CommunityPR
  
Completed 2021
Milestone
17.1.P2
Development

Successfully merging this pull request may close these issues.

EditorConfig UI: Change how the .editorconfig file is saved
5 participants
@Youssef1313 @jmarolf @ryzngard @jinujoseph @allisonchou