triagebot welcome message for new users#4471

oli-obk merged 1 commit intorust-lang:masterrust-lang/miri:masterfrom

RalfJung:triagebot-welcomeRalfJung/miri:triagebot-welcomeCopy head branch name to clipboard