Fix deleted branch isn't removed when push the branch again (#9516)
parent
e3a5b83212
commit
0bcf644da4
2 changed files with 12 additions and 0 deletions
Loading…
Reference in new issue