From 7a988c62af89fc220d91bcb1062f593b82c326d6 Mon Sep 17 00:00:00 2001
From: Florian Friesdorf <flo@chaoflow.net>
Date: Thu, 26 Dec 2013 01:01:01 +0100
Subject: [PATCH] git-repo-1.20, update and pin python

---
 .../version-management/git-repo/default.nix           | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/pkgs/applications/version-management/git-repo/default.nix b/pkgs/applications/version-management/git-repo/default.nix
index 8b6e31039fb7..7f8091067cb9 100644
--- a/pkgs/applications/version-management/git-repo/default.nix
+++ b/pkgs/applications/version-management/git-repo/default.nix
@@ -1,16 +1,19 @@
 { stdenv, fetchurl, python }:
 
 stdenv.mkDerivation {
-  name = "git-repo-1.19";
+  name = "git-repo-1.20";
   src = fetchurl {
-    url = "https://git-repo.googlecode.com/files/repo-1.19";
-    sha1 = "e48d46e36194859fe8565e8cbdf4c5d1d8768ef3";
+    # I could not find a versioned url for the 1.20 version. In case
+    # the sha mismatches, check the homepage for new version and sha.
+    url = "http://commondatastorage.googleapis.com/git-repo-downloads/repo";
+    sha1 = "e197cb48ff4ddda4d11f23940d316e323b29671c";
   };
 
   unpackPhase = "true";
   installPhase = ''
     mkdir -p $out/bin
-    install $src $out/bin/repo
+    sed -e 's,!/usr/bin/env python,!${python}/bin/python,' < $src > $out/bin/repo
+    chmod +x $out/bin/repo
   '';
 
   meta = {