Or maybe this is a github specific issue. I was looking through our repo and noticed that our release branches are still open. I would assume releases have been merged back to their source (master?) after being completed, so they shouldn't be needed any more. If so can we close/delete them? I saw at least one PR open that was targeting the wrong branch.
John
