git-subtree-dir: search-core
git-subtree-mainline: 0077e07a
git-subtree-split: 14194725