https://deletejullld.blogspot.com/2023/05/delete-remote-branch-gitlab.html