Misc: better instructions for envrc, ignore /build instead of build/#133592

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom

WaffleLapkin:misc-meowingWaffleLapkin/rust:misc-meowingCopy head branch name to clipboard