On 17 Aug 2017, at 10:35, Guillermo Polito <guillermopolito@gmail.com> wrote:

Just a thought out of thin air: wasn't filetree supposed to provide common ground for this kind of scenarios? If we shared a single repository in github that would save us a lot of discussion :P

it doesn��t :)

while exporting VM-Glorp to github will simplify a lot the process, truth is dialects are so different they cannot talk each other in general, and changes needs to be applied (by hand).

but�� having a github mirror to be able to diff properly is a good thing.

Esteban