From 38c61cfcd4aa73809f965a04bda0844981668a2c Mon Sep 17 00:00:00 2001
From: h7x4 <h7x4@nani.wtf>
Date: Tue, 25 Jun 2024 20:13:30 +0200
Subject: [PATCH] home/git: add support for 'github:' short urls

---
 home/config/ssh/other.nix | 4 ++++
 home/programs/git.nix     | 3 ++-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/home/config/ssh/other.nix b/home/config/ssh/other.nix
index f542acf..d0e81a1 100644
--- a/home/config/ssh/other.nix
+++ b/home/config/ssh/other.nix
@@ -6,6 +6,10 @@
       hostname = "login.stud.ntnu.no";
       proxyJump = "pvv";
     };
+    "github" = {
+      user = "git";
+      hostname = "github.com";
+    };
     "gitlab.stud.idi.ntnu.no" = {
       user = "git";
       proxyJump = "pvv";
diff --git a/home/programs/git.nix b/home/programs/git.nix
index 41e1fc1..ff65846 100644
--- a/home/programs/git.nix
+++ b/home/programs/git.nix
@@ -83,7 +83,8 @@
 
       github.user = "h7x4";
 
-      "url \"git@github:\"".insteadOf = "https://github.com/";
+      "url \"github:\"".insteadOf = "https://github.com/";
+
 
       web.browser = "google-chrome-stable";