Clone of official tools

default_settings.py/shortlog@ab47a20b66f0: not found in manifest