users: jj git push alias

moni-dz · moni-dz · commit f23435c26958 · 2024-12-25T22:54:22.000+08:00
diff --git a/modules/shared/home-manager/vcs.nix b/modules/shared/home-manager/vcs.nix
@@ -73,6 +73,11 @@
             "set"
             "--revision"
           ];
+
+          gp = [
+            "git"
+            "push"
+          ];
         };
 
         user = {
