> I will try to make a PR once you have migrated to gitlab or
> elsewhere.

Great!

> but until then I'd rather not waste the effort until you've
> committed to a more modern git interface.

I fully agree.

Thanks for your offer!


     Werner

Reply via email to