Hi, it seems there are many active branches that are already merged into master via Github PR.
Github has a configuration to automatically delete the branch when a PR is merged (Settings -> Options -> "Automatically delete head branches") but I think it is disabled by default. I cannot change the settings of lucene-solr repo, but I wonder if there is someone who has the authority to change the setting. Now many of us already use github, so would it be good to let github delete obsolete branches instead of manually doing so? Tomoko
