Clone of official tools

toolchains/arm.py/shortlog@7d3fa6b99b2b: not found in manifest