Github has had problems with downloads in general, and with speed too.
There has been lots of github “incidents”: https://www.githubstatus.com/history
Sometimes the “incidents” have stalled development…
2 Likes