marinaglancy

diff --git a/lib.php b/lib.php
index ca85b5f..8e1f0ed 100644
--- a/lib.php
+++ b/lib.php
@@ -257,14 +257,12 @@ class repository_github extends repository {
 
         $fp = fopen($path, 'w');
         $c = new curl();
-        $c->setopt(array('CURLOPT_FOLLOWLOCATION' => true, 'CURLOPT_MAXREDIRS' => 3));
-        $result = $c->download(array(array('url' => $url, 'file'=> $fp)));