Comment by gatane

Github was usable and fast, now it is slow. Guess what changed...