Synced Git workspaces config

SyncedWorkspaces.md

Participants:

• origin: Main repository. This is a remote repository.
• work1: Main working repository.
• mirror: The 'sync' repository between work1 and work2. This is a bare repository with no remotes. It is accessible from work1 and work2
• work2: The secondary working repository.

work1.config

[core]
	repositoryformatversion = 0
	filemode = false
	bare = false
	logallrefupdates = true
	symlinks = false
	ignorecase = true
[remote "origin"]
	url = ..\\origin.git\\
	fetch = +refs/heads/*:refs/remotes/origin/*
[remote "mirror"]
	url = ..\\mirror.git\\
	fetch = +refs/*:refs/*
	fetch = +tags/*:tags/*
	skipDefaultUpdate = true
	skipFetchAll = true
[branch "master"]
	remote = origin
	merge = refs/heads/master

work2.config

[core]
	repositoryformatversion = 0
	filemode = false
	bare = false
	logallrefupdates = true
	symlinks = false
	ignorecase = true
[remote "mirror"]
	url = ..\\mirror.git\\
	fetch = +refs/*:refs/*
	mirror = true
[remote]
	pushDefault = mirror