Skip to content
This repository has been archived by the owner on Apr 26, 2024. It is now read-only.

Push: Don't acquire lock unless necessary #2365

Merged
merged 1 commit into from Jul 13, 2017
Merged

Conversation

erikjohnston
Copy link
Member

No description provided.

Copy link
Contributor

@NegativeMjark NegativeMjark left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM?

@erikjohnston erikjohnston merged commit 67b7b90 into develop Jul 13, 2017
@erikjohnston erikjohnston deleted the erikj/push_skip_lock branch October 26, 2017 11:00
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants