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

Fix race condition when fetching from and deleting a temporary remote #1250

Merged
merged 2 commits into from Oct 10, 2017

Conversation

@jcansdale
Copy link
Collaborator

@jcansdale jcansdale commented Oct 5, 2017

This fixes an issue where a remote was sometimes deleted before a PR had finnished being fetched from it. It failed a lot on large repos but seemed to work on smaller ones.

This issue can be easily reproduced as follows:

  1. Clone new repository.
    git clone https://github.com/bitcoin/bitcoin.git
  2. Launch Visual Studio 2017 and File > Open > Folder... and select the bitcoin folder.
  3. Open GitHub pane (via Team Explorer > Pull Requests).
  4. Select a PR. If that works, try the next one...

image

BTW, bitcoin/bitcoin is a good test for a repo with a whole bunch of PRs.

Fixes #1249

@jcansdale jcansdale requested review from shana and meaghanlewis Oct 5, 2017
Copy link
Contributor

@meaghanlewis meaghanlewis left a comment

Looks good to me! All PR's I viewed with error before are now appearing just fine. I tested PR's in the gitcoin and github repositories.

@jcansdale jcansdale merged commit 3f8e31d into master Oct 10, 2017
4 checks passed
4 checks passed
GitHub CLA @jcansdale has accepted the GitHub Contributor License Agreement.
Details
VisualStudio Build #8209122 was skipped due to a previously successful build of the same tree.
Details
continuous-integration/appveyor/branch AppVeyor build succeeded
Details
continuous-integration/appveyor/pr AppVeyor build succeeded
Details
@jcansdale jcansdale deleted the fixes/1249-temp-remote branch Oct 10, 2017
jcansdale added a commit that referenced this pull request Oct 10, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

2 participants
You can’t perform that action at this time.