good morning goedemorgen buenas días bom dia bonjour tere hommikust (etc.) !tzag !fediverse !fediverso - today I will get remote connection to #Hal from #Nikola working for #Git! Nearly there, just a few more little steps :)