https://skalinets.github.io/posts/git-remote-branch-delete-and-restore/
How to delete obsolete remote branches in git and get them back - Serhii Kalinets : Blog