Clone of official tools

synch.py/shortlog@2a7da56ebd24: not found in manifest