Pietro Albini

> Can we add details to this, namely Discord IDs? We can track Discord-to-GitHub by doing a GitHub OAuth2 app, but if this is meant to be the source of...

Thanks for reporting this! I'd prefer if we fix the underlying cause of highfive crashing instead of adding patches to retry failures though. That specific crash was caused by https://github.com/rust-lang-nursery/highfive/issues/190.

I agree we need to add licenses to this repository, leaning towards our standard `MIT OR Apache-2.0` license. I am not a lawyer, but I don't think there is a...

That's not going to work: rustwide currently needs some file inside the Docker image to work (currently only the entrypoint iirc). We'd need to change rustwide to instead bundle the...

Other than downloading it from Firefox Send, it's possible to regenerate that file by running: ``` curl -O https://static.crates.io/crates/jni-android-sys/jni-android-sys-0.0.4.crate tar xvzf jni-android-sys-0.0.4.crate cd jni-android-sys-0.0.4 cargo doc --no-deps --features api-level-28,force-define ```...

Hmm, I don't really know who to ask.

Opened https://github.com/rust-lang/crates.io/pull/3763 to provide the required data to the frontend. Once that's merged, the frontend needs to display the data and the backend needs to authorize crate owners to decline...

> synchronization needs to be implemented before fully switching over to webhooks, because there is no analogue of peek_changes for webhooks (there's no way to ensure durability in case of...

Just as a note, changing the configuration of the webhook across all repos is now trivial thanks to the [update-webhooks.py](https://github.com/rust-lang-nursery/highfive/blob/master/update-webhooks.py) script.

Hi! Main Crater developer here! > We should perform a crater run with AVR so we will have a precise breakdown of exactly which crates will work, which crates will...