From 6c9cc59c73a10a860053297ad91a4b3db9873207 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cyryl=20P=C5=82otnicki?= <cyplo@cyplo.dev>
Date: Fri, 6 May 2022 11:07:42 +0100
Subject: [PATCH] add ssh override for github on work machine

---
 nixos/boxes/form3/default.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/nixos/boxes/form3/default.nix b/nixos/boxes/form3/default.nix
index 915bdebc..16c618df 100644
--- a/nixos/boxes/form3/default.nix
+++ b/nixos/boxes/form3/default.nix
@@ -48,6 +48,8 @@
     programs.git.extraConfig.user.signingkey =
       "6441B1BC81F8FB1561C9AFF5534222210FE423ED";
     programs.git.extraConfig.commit.gpgsign = true;
+    programs.git.extraConfig."url \"git@github.com:\"".insteadOf =
+      "https://github.com/";
     programs.gpg.enable = true;
     programs.gpg.homedir = "/Users/cyryl/.gnupg";
     programs.zsh.loginExtra = ''