huggingface_hub

Update mypy to 1.15.0 (current latest)

#3095

Merged