Where does “Μιχάλης” come from?

Μιχάλης (Greek) comes from Greek Μιχαήλ, from Ancient Greek Μιχαήλ, from Hebrew מיכאל, from Hebrew אֵל, from Hebrew שמואל, from Hebrew שְׁמוּאֵל.