From 5af576ff7f4e657c0053f66d6fba03bfd1e97669 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Edward=20Tj=C3=B6rnhammar?= <ed@cflags.cc>
Date: Thu, 6 Nov 2014 20:09:18 +0100
Subject: [PATCH] initialized git repo should use the set http_proxy

---
 pkgs/build-support/fetchgit/nix-prefetch-git | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/build-support/fetchgit/nix-prefetch-git b/pkgs/build-support/fetchgit/nix-prefetch-git
index ff84f5adce97..1d172598722b 100755
--- a/pkgs/build-support/fetchgit/nix-prefetch-git
+++ b/pkgs/build-support/fetchgit/nix-prefetch-git
@@ -83,6 +83,7 @@ init_remote(){
     local url=$1
     git init
     git remote add origin $url
+    [ -n "$http_proxy" ] && git config http.proxy $http_proxy
 }
 
 # Return the reference of an hash if it exists on the remote repository.