Clone of official tools

synch.py/shortlog/shortlog@04753e1e329d: not found in manifest