Github.: Trying to delete master branch gives error "! [remote rejected] master (branch master is being renamed)"

Question

I renamed the master branch to develop and in github I can see the develop branch. When I tried to delete the master from UI I cant see the master in branches list. I tried using CLI and keep getting ! [remote rejected] master (branch master is being renamed) ! [remote rejected] master (branch master is being renamed) error.

Answer 1

Well.. Github had to cancel the operation from backend of renaming a branch.. then I was able to delete master and rename another branch as master from Github UI. the issue is similar as one faced by Cpython community -> https://github.community/t/python-cpython-zombie-master-branch/206066