> On 17 Aug 2017, at 10:35, Guillermo Polito <guillermopol...@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
