Why and how we converted 89 Git repositories to one monorepoblog.ghaering.de 4gerhardhaering10ydiscuss