Merge pull request #19448 from drognanar/mergeempty

Delete the PR branch if nothing to merge
dotnet · May 15, 2017 · efd193c · efd193c
2 parents bf7aaaf + 6e011f2
commit efd193c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/Tools/Github/GithubMergeTool/GithubMergeTool.cs b/src/Tools/Github/GithubMergeTool/GithubMergeTool.cs
@@ -121,6 +121,8 @@ git push {prBranchName} --force
             // 422 (Unprocessable Entity) indicates there were no commits to merge
             if (response.StatusCode == (HttpStatusCode)422)
             {
+                // Delete the pr branch if the PR was not created.
+                await _client.DeleteAsync($"repos/{repoOwner}/{repoName}/git/refs/heads/{prBranchName}");
                 return response;
             }