freshlybakedca.ke
a.starrysky.fyi
+11
-1
packetmix/systems/teal/josh.nix
+11
-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" (
42
+
(url_config "patisserie") + (other_url_config "footnotes.social/core")
43
+
);
34
44
in
35
45
{
36
46
HOME = gitconfig;