When I’m on the branch management page on github.com, and I try to delete a branch that appears as already deleted, I get this error This branch no longer exists. What should I do to properly delete it?

github screenshot

2