Migration to Github: first commit for MySQL example