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: -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/2460#issuecomment-611487879
