From a05f93f036b37eacf73cb7cd2a3cd81f4c1441cf Mon Sep 17 00:00:00 2001 From: Yuanming Hu Date: Sat, 28 Mar 2020 11:33:26 -0400 Subject: [PATCH] [misc] Improve format server stability (#672) Force delete when user reuses branch name --- misc/format_server.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/misc/format_server.py b/misc/format_server.py index 2cc6639731f4d..a2573fa5d218c 100644 --- a/misc/format_server.py +++ b/misc/format_server.py @@ -81,7 +81,7 @@ def do_GET(self): ssh_url = head['repo']['ssh_url'] self.exec(f'git remote add {user_id} {ssh_url}') self.exec(f'git fetch {user_id} {branch_name}') - self.exec(f'git branch -d {user_id}-{branch_name}') + self.exec(f'git branch -D {user_id}-{branch_name}') self.exec( f'git checkout -b {user_id}-{branch_name} {user_id}/{branch_name}') commits = self.exec(