back round 0 view raw

ci: switch to .org push-url #31

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

I accidentally used the old .sh url when setting this push url. We're using .org everywhere, let's switch over...

options
unified split
Changed files
+1 -1
.tangled
workflows
packetmix-release.yml
+1 -1
.tangled/workflows/packetmix-release.yml
··· 98 98 done 99 99 - name: Push to release 100 100 command: | 101 - git remote set-url --push origin git@tangled.sh:freshlybakedca.ke/patisserie 101 + git remote set-url --push origin git@tangled.org:freshlybakedca.ke/patisserie 102 102 git push origin HEAD:refs/heads/release