Regardless of the current rule, it really ought to be a violation. If it's not, all repos that care about star rankings are forced to start doing the same thing to compete, which eventually turns stars into a metric of which repos have the highest quantity of annoying problems that users want to report, rather than a metric of whatever it's supposed to measure.