From c5aaa64a9b1b389f10e2885fc4106c2b7926109d Mon Sep 17 00:00:00 2001
From: =?utf8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Sat, 5 Jan 2019 17:40:51 +0100
Subject: [PATCH] Override attributes for gitolite to get same environment

---
 virtual/eldiron.nix | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/virtual/eldiron.nix b/virtual/eldiron.nix
index d88dd93..71ff57d 100644
--- a/virtual/eldiron.nix
+++ b/virtual/eldiron.nix
@@ -13,7 +13,16 @@
     in
   {
     nixpkgs.config.packageOverrides = oldpkgs: rec {
-      gitolite = nixpkgs_unstable.gitolite;
+      gitolite = oldpkgs.gitolite.overrideAttrs(old: rec {
+        name = "gitolite-${version}";
+        version = "3.6.10";
+        src = pkgs.fetchFromGitHub {
+          owner = "sitaramc";
+          repo = "gitolite";
+          rev = "v${version}";
+          sha256 = "0p2697mn6rwm03ndlv7q137zczai82n41aplq1g006ii7f12xy8h";
+        };
+      });
       gitweb = oldpkgs.gitweb.overrideAttrs(old: {
         installPhase = old.installPhase + ''
           cp -r ${./packages/gitweb} $out/gitweb-theme;
-- 
2.41.0