@heimindanger Github being owned by microsoft, and microsoft being a large corp that is susceptible to political pressure, isn't it possible that they could turn off github websites? What about using alternatives to github?