back round 0 view raw

feat(josh): always pull over http #24

merged
opened by a.starrysky.fyi targeting main from private/minion/push-opwyllotpsmx

When we push, josh sometimes seems to pull before it pushes. That causes our SSH key to be used twice, triggering a double pin entry/etc. with a security key. That's mildly annoying...

Luckily, we should always be able to pull over http, so we can just use that for all pulls whether we're nominally using SSH or not!

options
unified split
Changed files
+2 -1
packetmix
systems
teal
josh.nix
+2 -1
packetmix/systems/teal/josh.nix
··· 22 url_config = repo: '' 23 [url "https://tangled.org/@freshlybakedca.ke/${repo}"] 24 insteadOf = "https://tangled.org/@freshlybakedca.ke/${repo}.git" 25 26 [url "ssh://git@tangled.org/freshlybakedca.ke/${repo}"] 27 - insteadOf = "ssh://git@tangled.org/freshlybakedca.ke/${repo}.git" 28 ''; 29 # ^^ Tangled doesn't support cloning from .git URLs, so we have to not have .git at the end of our repos 30 # ^^ Additionally, we can only push to Tangled over SSH, not HTTP
··· 22 url_config = repo: '' 23 [url "https://tangled.org/@freshlybakedca.ke/${repo}"] 24 insteadOf = "https://tangled.org/@freshlybakedca.ke/${repo}.git" 25 + insteadOf = "ssh://git@tangled.org/freshlybakedca.ke/${repo}.git" 26 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