I left the branch on merge since it was someone elses branch, it would be rude to delete it.
It would be nice if github didn't make these in the main repo just because the user has commit rights, but anyway thats the way it is.
PS Did remind me to delete a couple of my olde branches :grin: