Comment by dbmikus

Big enterprises are on a different github deployment, so I doubt they are affected by this