Git: Delete a remote branch

By specifying "origin" and "--delete" as parameters according to the branch name (e.g. "feature/1234_my_ticket), you can delete the remote branch. The working Git command looks like this:

git push origin --delete my_name/1234_my_ticket_id