Clone of official tools

make.py/shortlog/shortlog@8ea194f6145b: not found in manifest