Everyone is comparing GitHub stars. But what about issues?