Eric Huss

@tomassedovic can you fix that?

Can you get the system logs? I don't know offhand how to get those from GitHub Actions. Normally I record them locally using `console.app`. I see `sh.remove_path("./target")?;` in your script....

Nominating for quick discussion/approval. I personally don't have any objections to adding our logo there. I'm thinking it would be good to at least get in touch with someone at...

@jamesmunns The links in the first comment seem to be broken now. See also https://github.com/rust-lang/wg-governance/issues/46 for some historical context.

This should be ready to merge now. And if you have any questions or issues, please let me know.