export prefix="ssh://git@???:7999/???/" # prefix for the repo
export suffix=".git" # suffix for the repo address

function merge() {
  repo=$1
  git remote add -f $repo ${prefix}${repo}${suffix}
  git merge -s ours --no-commit ${repo}/master
  git read-tree --prefix=${repo}/ -u ${repo}/master
  git commit -m "Merged ${repo} subtree"
}