clean --reclone: never delete master or the repo-branch

diff --git a/all b/all
index 282a69033a903d5c1672866fbb02b1c6bd489149..5eb4af738d666bfc7981060b930071e9015736bd 100755 (executable)
--- a/all
+++ b/all
@@ -1075,6 +1075,8 @@ case "$cmd" in
                                                verbose git branch -D "${B#refs/heads/}"
                                        fi
                                done
+                               verbose git branch -t master origin/master || true
+                               verbose git branch -t "`repobranch "$d"`" origin/"`repobranch "$d"`" || true
                        fi
                done
                ;;