Add git prune

2024-02-01 16:40:21 +01:00
parent f661e4f1b6
commit ecf04a94ca
1 changed files with 2 additions and 0 deletions
@@ -26,6 +26,8 @@ mv third_party/devtools-frontend-bis third_party/devtools-frontend
 git add -f third_party/devtools-frontend >/dev/null
 git commit -m ":NOEXPORT: third_party/devtools-frontend repo" >/dev/null

+git prune
+
 echo -e ${RED} ------- patches ${NC}
 cat ../../cromite/build/cromite_patches_list.txt
 echo