adopted and fixed
git-subtree-dir: woob-git git-subtree-mainline: 28d7b990f8 git-subtree-split: 71a7dbbd93
28d7b990f8
71a7dbbd93