Clone of official tools

export/gccarm.py/shortlog@f12ce67666d0: not found in manifest