Clone of official tools

synch.py/shortlog@8ea194f6145b: not found in manifest