Yes, there is more than one way to do it:-) Had I read the git ls-tree manpage more patiently, I should have wrote:

    git ls-tree HEAD -r --name-only