HomePhabricator

Ignore post-write repository synchronization if no devices are configured

Description

Ignore post-write repository synchronization if no devices are configured

Summary: Fixes T10789. If we aren't configured with a device, we never grabbed a lock in the first place, and should not expect one to be held.

Test Plan: Pushed non-cluster-configured Git SSH repository.

Reviewers: chad

Reviewed By: chad

Maniphest Tasks: T10789

Differential Revision: https://secure.phabricator.com/D15692

Details

Provenance
epriestleyAuthored on Apr 13 2016, 1:18 AM
epriestleyPushed on Apr 13 2016, 1:31 AM
Reviewer
chad
Differential Revision
D15692: Ignore post-write repository synchronization if no devices are configured
Parents
rP110223c1a730: Fix pretty drawings
Branches
Unknown
Tags
Unknown
Tasks
T10789: Can't push to git remote repository
Build Status
Buildable 11679
Build 14619: Run Core Tests