openmole
openmole copied to clipboard
[Enh] [GUI] Git plugin for openmole
If the plugin interface is stable now, we could try to develop a git clone/push/pull CORE/GUI plugin for OpenMOLE.
With this extension, user could :
- clone project into workspace from https or git url
- push/pull modifications from workspace to git server