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 user id is not optional #1799

Closed apiraino closed 2 months ago

apiraino commented 2 months ago

This patch removes the Optional id in the GitHub User struct.

Unsure why it was this way, but I think it is reasonable to expect that any GitHub User has an id.

Closes #1775

r? @jackh726