a.starrysky.fyi
The footnote.social dev is interested in using our proxy. We're happy to let them
+9
-1
packetmix/systems/teal/josh.nix
+9
-1
packetmix/systems/teal/josh.nix
···
27
27
[url "ssh://git@tangled.org/freshlybakedca.ke/${repo}"]
28
28
pushInsteadOf = "ssh://git@tangled.org/freshlybakedca.ke/${repo}.git"
29
29
'';
30
+
other_url_config = repo: ''
31
+
[url "https://tangled.org/@${repo}"]
32
+
insteadOf = "https://tangled.org/@freshlybakedca.ke/${repo}.git"
33
+
insteadOf = "ssh://git@tangled.org/freshlybakedca.ke/${repo}.git"
34
+
35
+
[url "ssh://git@tangled.org/${repo}"]
36
+
pushInsteadOf = "ssh://git@tangled.org/freshlybakedca.ke/${repo}.git"
37
+
'';
30
38
# ^^ Tangled doesn't support cloning from .git URLs, so we have to not have .git at the end of our repos
31
39
# ^^ Additionally, we can only push to Tangled over SSH, not HTTP
32
40
33
-
gitconfig = pkgs.writeTextDir "/.gitconfig" (url_config "patisserie");
41
+
gitconfig = pkgs.writeTextDir "/.gitconfig" ((url_config "patisserie") + (other_url_config "footnotes.social/core"));
34
42
in
35
43
{
36
44
HOME = gitconfig;