Improve downloading with redirects
filename detection on redirects is automagic I guess, so curl and wget might behave funny if that is the case? Our download_tarball_name and others then might not be correct.
Due to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template
filename detection on redirects is automagic I guess, so curl and wget might behave funny if that is the case? Our download_tarball_name and others then might not be correct.