give instructions for how to ping the ICE-breaker teams#475

spastorino merged 3 commits intorust-lang:masterrust-lang/rustc-dev-guide:masterfrom

nikomatsakis:ping-ice-breakersnikomatsakis/rustc-dev-guide:ping-ice-breakersCopy head branch name to clipboard