Give the subtree explicitly

git seems to get confused otherwise.