Delete a remote branch in GitLab using git push or the web UI with verification and pruning tips for a clean repo.