How to Delete a git Remote Branch?

It’s important to keep a clean repository; not just a clean code base, but a clean repository in so far as spare branches don’t rot around. The main repository generally doesn’t hold multiple branches, but sometimes you need to push to the main repository just to get Travis CI to …