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
[url "ssh://git@tangled.org/freshlybakedca.ke/${repo}"]
28
pushInsteadOf = "ssh://git@tangled.org/freshlybakedca.ke/${repo}.git"
29
'';
30
# ^^ Tangled doesn't support cloning from .git URLs, so we have to not have .git at the end of our repos
31
# ^^ Additionally, we can only push to Tangled over SSH, not HTTP
32
33
-
gitconfig = pkgs.writeTextDir "/.gitconfig" (url_config "patisserie");
34
in
35
{
36
HOME = gitconfig;
···
27
[url "ssh://git@tangled.org/freshlybakedca.ke/${repo}"]
28
pushInsteadOf = "ssh://git@tangled.org/freshlybakedca.ke/${repo}.git"
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
+
'';
38
# ^^ Tangled doesn't support cloning from .git URLs, so we have to not have .git at the end of our repos
39
# ^^ Additionally, we can only push to Tangled over SSH, not HTTP
40
41
+
gitconfig = pkgs.writeTextDir "/.gitconfig" ((url_config "patisserie") + (other_url_config "footnotes.social/core"));
42
in
43
{
44
HOME = gitconfig;