Clone of official tools

make.py/shortlog/shortlog@399953da035d: not found in manifest