I'm trying to **delete** a **remote branch** via:

```
git push origin :dev

```

But the following error appears:

```
remote: Updating references: 100% (1/1)
To ssh://user@git.example.com:29400/user/project.git
 ! [remote rejected] dev (branch is currently checked out)
error: failed to push some refs to 'ssh://user@git.example.com:29419/user/project.git'

```

Here's some more detail about the origin:

```
git remote show origin
* remote origin
  Fetch URL: ssh://user@git.example.com:29400/user/project.git
  Push  URL: ssh://user@git.example.com:29400/user/project.git
  HEAD branch: dev
  Remote branches:
    dev    tracked
    master tracked
  Local branch configured for 'git pull':
    master merges with remote master
  Local refs configured for 'git push':
    dev    pushes to dev    (up to date)
    master pushes to master (up to date)

```

How can I delete this remote dev branch (without direct access to the remote server)?