Enable automatic proxy detection for remote connect()

See #642

Author: sathieu

pygit2/remote.py

@@ -91,12 +91,30 @@ def push_url(self):
 
         return maybe_string(C.git_remote_pushurl(self._remote))
 
-    def connect(self, callbacks=None, direction=C.GIT_DIRECTION_FETCH):
+    def connect(self, callbacks=None, direction=C.GIT_DIRECTION_FETCH, proxy=None):
         """Connect to the remote.
+
+        Parameters:
+
+        proxy : None or True or str
+            Proxy configuration. Can be one of:
+
+            * `None` (the default) to disable proxy usage
+            * `True` to enable automatic proxy detection
+            * an url to a proxy (`http://proxy.example.org:3128/`)
         """
+        if proxy is not None:
+            proxy_opts = ffi.new('git_proxy_options *')
+            if proxy is True:
+                proxy_opts.type = C.GIT_PROXY_AUTO
+            elif proxy is not None:
+                proxy_opts.type = C.GIT_PROXY_SPECIFIED
+                proxy_opts.url = proxy
+        else:
+          proxy_opts = ffi.NULL
         with git_remote_callbacks(callbacks) as payload:
             err = C.git_remote_connect(self._remote, direction,
-                                       payload.remote_callbacks, ffi.NULL,
+                                       payload.remote_callbacks, proxy_opts,
                                        ffi.NULL)
             payload.check_error(err)