$ git push origin
Everything up-to-date
$ git push origin --delete mob
To repo
 - [deleted]         mob
$ git ls-remote origin
bc35408ecdf9fae84d9d0b8978eb62838db52f96        HEAD
bc35408ecdf9fae84d9d0b8978eb62838db52f96        refs/heads/master
f53c7dab13d0e30af2f374073697082771bb1d60        refs/heads/mob
$ man git-push
$ git push origin --delete mob
To repo
 - [deleted]         mob
$ git fetch
^C
$ git ls-remote origin
bc35408ecdf9fae84d9d0b8978eb62838db52f96        HEAD
bc35408ecdf9fae84d9d0b8978eb62838db52f96        refs/heads/master