Error using install_github for statsr package
<p>I'm trying to install the companion R package for a Coursera course, with the following commands:</p>

<pre><code>library(devtools)
install_github("StatsWithR/statsr")
Error in curl::curl_fetch_disk(url, x$path, handle = handle) : 
  Couldn't resolve host name
</code></pre>

<p>Bet the error is due to the firewall, because at home (where I have no firewall, but exactly the same versions of R and RStudio) I can install flawlessly. Is it possible to fix it? Otherwise, since I've been able to download the package from Github on my pc, how do I install the package manually?</p>