Kieran's opinionated (and probably slightly dumb) nix config

feat: use tangled as origin when using tangled

dunkirk.sh bf979fb3 dd6e4cdf

verified
+6 -2
+6 -2
modules/home/system/shell.nix
··· 727 727 fi 728 728 fi 729 729 730 - # Set default push remote 731 - ${pkgs.git}/bin/git config branch.$BRANCH.remote origin 2>/dev/null || true 730 + # Set default push remote (origin→knot when tangled, github when github-only) 731 + if [[ "$TANGLED" == true ]]; then 732 + ${pkgs.git}/bin/git config branch.$BRANCH.remote origin 2>/dev/null || true 733 + elif [[ "$GITHUB" == true ]]; then 734 + ${pkgs.git}/bin/git config branch.$BRANCH.remote github 2>/dev/null || true 735 + fi 732 736 733 737 echo 734 738 ${pkgs.gum}/bin/gum style --foreground 117 "Configured remotes:"