From 7618330b0706a555a3d34d3bdd1f7ae336f94552 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: sltyltmstylmzvlqstqmmvmyryqtuyvn The footnote.social dev is interested in using our proxy. We're happy to let them --- packetmix/systems/teal/josh.nix | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/packetmix/systems/teal/josh.nix b/packetmix/systems/teal/josh.nix index 2d248052..d11f03b8 100644 --- a/packetmix/systems/teal/josh.nix +++ b/packetmix/systems/teal/josh.nix @@ -27,10 +27,20 @@ [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