Renaming existing branch with Git

In order to rename an existing branch locally and remotely….

Robs-iMac:core roblacey$ git branch -m feature/something feature/something/trunk
Robs-iMac:core roblacey$ git push origin :feature/something
To git@github.com:/username/core.git
 - [deleted]         feature/something
Robs-iMac:core roblacey$ git push origin feature/something/trunk
Counting objects: 225, done.
Delta compression using up to 8 threads.
Compressing objects: 100% (72/72), done.
Writing objects: 100% (74/74), 8.16 KiB | 0 bytes/s, done.
Total 74 (delta 55), reused 0 (delta 0)
To git@github.com:/username/core.git
 * [new branch]      feature/something/trunk -> feature/something/trunk