fix: use pr number instead of internal id #223
jiegecAnnotations
3 warnings
|
build:
server/src/github_webhooks.rs#L5
field `comment` is never read
|
|
build:
server/src/github_webhooks.rs#L10
fields `issue_url`, `user`, and `body` are never read
|
|
build:
server/src/github_webhooks.rs#L17
field `login` is never read
|