Clone of official tools

export/.mbed/shortlog@21ae3e5a7128: not found in manifest