diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index cc350fa1b394efa15b88ed2c81a6599a429e41e9..d4c9ff04cbd35981d073e8a999033b0bb70289c7 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -8,7 +8,7 @@ stages:
 ### DEFAULT JOB PARAMETERS
 
 default:
-  tags: [nix]
+  tags: [nix-v2]
 
 ################################################################################
 ### VARIABLES
diff --git a/nix/meta.nix b/nix/meta.nix
index e8e6641083da72eef6d01c2f67478a9d23548ee5..30e6430b7fff88b4f5b0c0bd051c850d4ea617d0 100644
--- a/nix/meta.nix
+++ b/nix/meta.nix
@@ -1,11 +1,10 @@
 { mk_plugin
-, gitignoreSource
 , swiProlog
 }:
 
 mk_plugin {
   plugin-name = "metacsl" ;
-  plugin-src = gitignoreSource ./.. ;
+  plugin-src = fetchGit { shallow=true ; url=./.. ; } ;
   additional-check-inputs = [ swiProlog ] ;
   has-wp-proofs = true ;
 }