editor
editor copied to clipboard
Clean up old branches on Github
trafficstars
Delete branches that have been merged back into master.
Remove gh-pages builds that are no longer current.
This should be automated as part of our repo hygiene tools.
This can all be done pretty easily through the Github ui, so it's not a real priority.