search

rust-lang / triagebot

Automation/tooling for Rust spaces
https://triage.rust-lang.org
Apache License 2.0
169 stars 75 forks source link

Github userId should not be an `Option<T>` #1775

Closed apiraino closed 2 months ago

apiraino commented 4 months ago

Don't know exactly why our https://github.com/rust-lang/triagebot/blob/c52016ab56eddb5ce2ac51a7bde6a47b8653719a/src/github.rs#L19-L23 has the Id optional :shrug:

_Originally posted by @apiraino in https://github.com/rust-lang/triagebot/pull/1773#discussion_r1496324399_

@rustbot claim