Thanks Robie for this. I documented this quickly at https://wiki.debian.org/Teams/MySQL/AutomaticBuildsFromGit so that the information is more findable by others in the future.