"description ": there has always been a habit of deleting the development branch after the PR merger (sometimes by yourself, sometimes by someone else). Then run git remote prune origin locally without any hints after running, and it doesn t take ef...