Fix: PR branch was not deleted after merged#38

ansidev merged 1 commit intodevelopansidev/leetcode-blog:developfrom

patchfix/pr-branch-was-not-deleted-after-mergedansidev/leetcode-blog:patchfix/pr-branch-was-not-deleted-after-mergedCopy head branch name to clipboard