it appears that only the head cvs branch is indexed, not the other branches. this is unfair for people who work exclusively on branches.
branches
about 1 year ago
about 1 year ago
This is a known problem, sorry
about 1 year ago
any plans to fix it?