Skip to content

Latest commit

 

History

History

milkman-sync-git

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 

Milkman Git Sync Plugin

This plugin allows to setup a git repository to where a workspace can be synchronized. Synchronization works by computing the diffs and applying them in a fuzzy manner to the latest version (simple algorithm of Differential Synchronization).

Screenshot

img

Features

  • synchronizes (on-demand for now) workspaces with a remote git repository

Remark

  • This feature is experimental.