Merge one git repo into another, keeping the commit history

git_merge.md

git remote add -f {name} {path}
git merge -s ours --no-commit {name}/master
git read-tree --prefix={local-path}/ -u {name}/master
git commit -m "merge {name}"

git remote add -f coursesearch-404 git@github.com:marcom-unimelb/coursesearch-404.git
git merge -s ours --no-commit coursesearch-404/master
git read-tree --prefix=coursesearch-404/ -u coursesearch-404/master
git commit -m "merge coursesearch-404"