Clone of official tools

targets/lint.py/shortlog@21ae3e5a7128: not found in manifest