Clone of official tools

resources/ignore.py/shortlog@21ae3e5a7128: not found in manifest