Skip to content

Git - fix close all diff editors command #152059

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
Merged
lszomoru merged 1 commit into from
Jun 14, 2022
Merged

Git - fix close all diff editors command #152059

lszomoru merged 1 commit into from
Jun 14, 2022

Conversation

@lszomoru
Copy link
Member

@lszomoru lszomoru commented Jun 14, 2022

Fix #150315

@lszomoru lszomoru enabled auto-merge (squash) June 14, 2022 13:09
@lszomoru lszomoru self-assigned this Jun 14, 2022
@lszomoru lszomoru added the git GIT issues label Jun 14, 2022
@lszomoru lszomoru added this to the June 2022 milestone Jun 14, 2022
@lszomoru lszomoru merged commit 5bf63b6 into main Jun 14, 2022
@lszomoru lszomoru deleted the lszomoru/visiting-dingo branch June 14, 2022 13:21
@github-actions github-actions bot locked and limited conversation to collaborators Jul 29, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

@lramos15 lramos15 lramos15 approved these changes

Assignees

@lszomoru lszomoru

Labels

git GIT issues

Projects

None yet

Milestone

June 2022

Development

Successfully merging this pull request may close these issues.

Diff Editors are not closed when running Git: Close All Diff Editors

3 participants

@lszomoru @lramos15