···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" (
4242+ (url_config "patisserie") + (other_url_config "footnotes.social/core")
4343+ );
3444 in
3545 {
3646 HOME = gitconfig;