How we merged multiple github repos into a monolithic project repo