From 3855348b8aa1a239fba034a12820a5453ceda25e Mon Sep 17 00:00:00 2001 From: Skyler Grey Date: Wed, 1 Oct 2025 23:58:43 +0000 Subject: [PATCH] feat(josh): add footnotes.social Change-Id: ptzyxsvuuuyyvmvzuryopqwwynwzuums The footnote.social dev is interested in using our proxy. We're happy to let them --- packetmix/systems/teal/josh.nix | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/packetmix/systems/teal/josh.nix b/packetmix/systems/teal/josh.nix index 2d248052..fd849d19 100644 --- a/packetmix/systems/teal/josh.nix +++ b/packetmix/systems/teal/josh.nix @@ -27,10 +27,18 @@ [url "ssh://git@tangled.org/freshlybakedca.ke/${repo}"] pushInsteadOf = "ssh://git@tangled.org/freshlybakedca.ke/${repo}.git" ''; + other_url_config = repo: '' + [url "https://tangled.org/@${repo}"] + insteadOf = "https://tangled.org/@freshlybakedca.ke/${repo}.git" + insteadOf = "ssh://git@tangled.org/freshlybakedca.ke/${repo}.git" + + [url "ssh://git@tangled.org/${repo}"] + pushInsteadOf = "ssh://git@tangled.org/freshlybakedca.ke/${repo}.git" + ''; # ^^ Tangled doesn't support cloning from .git URLs, so we have to not have .git at the end of our repos # ^^ Additionally, we can only push to Tangled over SSH, not HTTP - gitconfig = pkgs.writeTextDir "/.gitconfig" (url_config "patisserie"); + gitconfig = pkgs.writeTextDir "/.gitconfig" ((url_config "patisserie") + (other_url_config "footnotes.social/core")); in { HOME = gitconfig; -- 2.43.0