The current nicknames are: treeherderstagepush treeherderprodpush On more than one occasion we've had confusion where we've thought a prod push had taken place, but it was in fact a stage push. How about these nicks instead? treeherder-production treeherder-stage ...difference in length + separator + one fewer word, makes them easier to tell apart I think?

Agreed. The names are awful; they're just the default suggestion from the chief mana docs. Changed in r98990.

Thanks :-)