Skip to content

Git: Support sync cancellation #59047 Issue Fix#65212

Merged
joaomoreno merged 1 commit intomicrosoft:masterfrom
joaorreis13:master
Aug 6, 2019
Merged

Git: Support sync cancellation #59047 Issue Fix#65212
joaomoreno merged 1 commit intomicrosoft:masterfrom
joaorreis13:master

Conversation

@joaorreis13
Copy link
Contributor

Git: Support sync cancellation #59047 Issue Fix

@joaomoreno joaomoreno added the git GIT issues label Dec 18, 2018
@joaomoreno joaomoreno added this to the Backlog milestone Dec 18, 2018
@joaomoreno
Copy link
Member

This would be way too intrusive for most users. I've added a setting for it. Thanks! 🍻

@joaomoreno joaomoreno modified the milestones: Backlog, August 2019 Aug 6, 2019
@joaomoreno joaomoreno merged commit 6dbf6b5 into microsoft:master Aug 6, 2019
@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

git GIT issues

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants