bootstrap: rename 'user' profile to 'dist'#113068

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

clubby789:bootstrap-user-to-distclubby789/rust:bootstrap-user-to-distCopy head branch name to clipboard