Is it preferred that users not ping all of staged-recipes?

[mfansler]

The GHA bot comments whenever users ping the staged-recipes team. From the behavior I've observed, this has not curbed pinging of staged-recipes, but rather users continue to ping both staged-recipes and a topic-specific team. Is the intent to have users stop broadly pinging the whole team when there is a focused (and responsive) subteam to handle their submission?

If so, perhaps this needs to be stated more directly, e.g., "please do not ping staged-recipes unless a topic-specific team is unavailable".

staged-recipes/.github/workflows/automate-review-labels.yml

Lines 64 to 87 in 3498ec3

	if (label == "staged-recipes") {
	github.rest.issues.createComment({
	issue_number: context.issue.number,
	owner: context.repo.owner,
	repo: context.repo.repo,
	body: 'To help direct your pull request to the best reviewers, ' +
	'please mention a topic-specifc team if your recipe matches any of the following: ' +
	'conda-forge/help-c-cpp, ' +
	'conda-forge/help-cdts, ' +
	'conda-forge/help-go, ' +
	'conda-forge/help-java, ' +
	'conda-forge/help-julia, ' +
	'conda-forge/help-nodejs, ' +
	'conda-forge/help-perl, ' +
	'conda-forge/help-python, ' +
	'conda-forge/help-python-c, ' +
	'conda-forge/help-r, ' +
	'conda-forge/help-ruby,' +
	'or ' +
	'conda-forge/help-rust' +
	'. ' +
	'Thanks!'
	});
	}