···2727 [url "ssh://git@tangled.org/freshlybakedca.ke/${repo}"]
2828 pushInsteadOf = "ssh://git@tangled.org/freshlybakedca.ke/${repo}.git"
2929 '';
3030+ other_url_config = repo: ''
3131+ [url "https://tangled.org/@${repo}"]
3232+ insteadOf = "https://tangled.org/@freshlybakedca.ke/${repo}.git"
3333+ insteadOf = "ssh://git@tangled.org/freshlybakedca.ke/${repo}.git"
3434+3535+ [url "ssh://git@tangled.org/${repo}"]
3636+ pushInsteadOf = "ssh://git@tangled.org/freshlybakedca.ke/${repo}.git"
3737+ '';
3038 # ^^ Tangled doesn't support cloning from .git URLs, so we have to not have .git at the end of our repos
3139 # ^^ Additionally, we can only push to Tangled over SSH, not HTTP
32403333- gitconfig = pkgs.writeTextDir "/.gitconfig" (url_config "patisserie");
4141+ gitconfig = pkgs.writeTextDir "/.gitconfig" ((url_config "patisserie") + (other_url_config "footnotes.social/core"));
3442 in
3543 {
3644 HOME = gitconfig;