Comment by fareesh

never had a problem with github, i must be using it during the 90% of the time that it works