From 20ded0c0df37b8a15c9687bb923ac33ca5df09f3 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Thu, 23 Nov 2023 14:56:22 +0100
Subject: [PATCH] Change the GPI-2 URL to a public repository

Reviewed-by: Aleix Roca Nonell <aleix.rocanonell@bsc.es>
---
 pkgs/gpi-2/default.nix | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/pkgs/gpi-2/default.nix b/pkgs/gpi-2/default.nix
index 0386978..f6f682e 100644
--- a/pkgs/gpi-2/default.nix
+++ b/pkgs/gpi-2/default.nix
@@ -1,5 +1,6 @@
 {
   stdenv
+, fetchurl
 , symlinkJoin
 , slurm
 , rdma-core
@@ -20,12 +21,11 @@ in
 
 stdenv.mkDerivation rec {
   pname = "GPI-2";
-  version = src.shortRev;
+  version = "tagaspi-2021.11";
 
-  src = builtins.fetchGit {
-    url = "ssh://git@bscpm03.bsc.es/interoperability/GPI-2";
-    ref = "refs/tags/tagaspi-2021.11";
-    rev = "9082fe7770fa9f6acba1b1ac938ad209a3d09477";
+  src = fetchurl {
+    url = "https://pm.bsc.es/gitlab/interoperability/extern/GPI-2/-/archive/${version}/GPI-2-${version}.tar.gz";
+    hash = "sha256-eY2wpyTpnOXRoAcYoAP82Jq9Q7p5WwDpMj+f1vEX5zw=";
   };
 
   enableParallelBuilding = true;