This commit prevents tools from being published if the underlying Git repository is unsynced with origin.