Clone of official tools

get_config.py/shortlog@2d27d77ada5c: not found in manifest