It is based on https://developer.mbed.org/users/gregeric/code/Nucleo_Hello_Encoder/

rotary_encoder.cpp/shortlog/shortlog@4580c3869b7b: not found in manifest