Github bot for cmsdist