changing sourcegraph badge to total views