Where does “Ми́шка” come from?

Ми́шка (Russian) comes from Russian Михаи́л, from Old Church Slavonic Михаилъ, from Ancient Greek Μιχαήλ, from Hebrew מיכאל, from Hebrew אֵל, from Hebrew שמואל, from Hebrew שְׁמוּאֵל.