Rollup of 4 pull requests#153753

Closed

Zalathar wants to merge 33 commits into

rust-lang:mainfrom

Zalathar:rollup-Dq0luud

Annotations

4 errors

The process '/usr/bin/git' failed with exit code 128

could not read Username for 'https://github.com': terminal prompts disabled

could not read Username for 'https://github.com': terminal prompts disabled

could not read Username for 'https://github.com': terminal prompts disabled

The logs for this run have expired and are no longer available.