On 7 Jun 2017, at 19:05, Paolo Benvenuto wrote: > Joachim, are you planning to load your code to github? maybe it's simpler > to try the merge You can clone/fork it into GitHub, and then just delete it after the merge? -- Joachim