You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: get.sh
+24-12Lines changed: 24 additions & 12 deletions
Original file line number
Diff line number
Diff line change
@@ -175,20 +175,32 @@ if [ -d "$DEST/.git" ]; then
175
175
_die "Repo at $DEST is in an unfinished merge/rebase state.\n Resolve it first: git -C '$DEST' status\n Then: bash '$DEST/install.sh' ${PROFILE:-workstation}"
176
176
fi
177
177
178
-
# Local modifications would be overwritten by pull
178
+
# Local modifications would be overwritten by pull — auto-stash, pull, restore
179
179
if! git -C "$DEST" diff --quiet HEAD 2>/dev/null;then
0 commit comments