Github bot for cmsdist.