https://deletejulllb.blogspot.com/2023/03/delete-remote-branch-from-gitlab.html