no longer can assign specific users

[ehuss]

In rust-lang/cargo#10313 (comment), Alex attempted to do r? @joshtriplett, but it assigned ehuss.

Looking at

highfive/highfive/newpr.py

Lines 250 to 262 in b54f081

	if msg is not None:
	match = reviewer_re.search(msg)
	if match:
	groups = self.get_groups()
	potential = groups.get(match.group(2)) or groups.get("%s/%s" % (match.group(1), match.group(2))) or []
	if 'all' in groups:
	potential.extend(groups["all"])
	picked = self.pick_reviewer(groups, potential, exclude)
	if picked:
	return picked
	if match.group(1) is None and match.group(2):
	if match.group(2).startswith('@'):
	return match.group(2)[1:]

which changed in #377, it seems like it always picks from the all group, even if you specify a specific user. @Mark-Simulacrum I can't quite understand what the intent of that change. Is there a reason it always picks from all?

[Mark-Simulacrum]

Hm, no I don't understand why we're doing that. I think the picking from all was already present, just used to be only if you asked for a whole team, though?