Use force to delete branches that are deleted on the remote.

Author: StefanFabian

scripts/hooks/update/50.workspace.py

@@ -107,7 +107,7 @@ def update_repo(path) -> bool:
                 + "\nDo you want to delete them?"
             ):
                 for branch in deleted_branches:
-                    repo.delete_head(branch)
+                    repo.delete_head(branch, force=True)
                 print(f"Deleted {len(deleted_branches)} branches.")
 
             return True