Merging two GitHub repositories without losing commit historyhacks.mozilla.org3 pointsfeross4 years ago