Clone of official tools

synch.py/shortlog@da9c89f8be7d: not found in manifest