Skip to content

#46860 make git delete popup modal#47052

Merged
joaomoreno merged 1 commit into
microsoft:masterfrom
floriantraber:46860
Apr 3, 2018
Merged

#46860 make git delete popup modal#47052
joaomoreno merged 1 commit into
microsoft:masterfrom
floriantraber:46860

Conversation

@floriantraber

@floriantraber floriantraber commented Apr 1, 2018

Copy link
Copy Markdown
Contributor

fixes #46860

@joaomoreno joaomoreno added this to the Backlog milestone Apr 3, 2018
@joaomoreno joaomoreno added the git GIT issues label Apr 3, 2018
@joaomoreno joaomoreno modified the milestones: Backlog, April 2018 Apr 3, 2018
@joaomoreno joaomoreno merged commit 5c481a8 into microsoft:master Apr 3, 2018
@joaomoreno

Copy link
Copy Markdown
Member

Thanks!

@joaomoreno joaomoreno added the bug Issue identified by VS Code Team member as probable bug label Apr 23, 2018
@github-actions github-actions Bot locked and limited conversation to collaborators Mar 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

bug Issue identified by VS Code Team member as probable bug git GIT issues

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Git: Delete branch notification should be modal

2 participants