Add git host cli tools

Signed-off-by: Nikolaos Karaolidis <nick@karaolidis.com>
2025-09-01 12:47:26 +01:00
parent 8a21f9bbc7
commit 9d5bfc9d74
14 changed files with 366 additions and 32 deletions
--- a/overlays/tea/default.nix
+++ b/overlays/tea/default.nix
@@ -0,0 +1,10 @@
+final: prev:
+prev.tea.overrideAttrs (oldAttrs: {
+  patches = oldAttrs.patches or [ ] ++ [
+    (builtins.fetchurl {
+      url = "https://gitea.com/gitea/tea/pulls/639.patch";
+      sha256 = "sha256:0c5gpi6aajd3h0wp7lrvj5qk9wsqhgbap7ijvl0x117v0g8mgzvs";
+    })
+    ./instance-ssh-host-env.patch
+  ];
+})