Closed lnicola closed 2 years ago
r? @Veykril
bors r+
:lock: Permission denied
Existing reviewers: click here to make Veykril a reviewer
Oh, never mind :smile:.
Right this is not the rust-analyzer organization 😅
Now it is!
bors r=Veykril
bors ping
@matklad I think bors isn't enabled on this repo anymore.
bors ping
Bors is sleeping I guess :laughing:
@notriddle bors is active for all repositories in the rust-analyzer org, but this one (transferred from an individual account) doesn't show up on https://app.bors.tech/repositories. Do you know if we can prod it into updating its list?
Okay, I kicked it off by hand: https://app.bors.tech/repositories/42482
bors r=Veykril
Thanks, now it shows up on https://app.bors.tech/repositories.
This should let us avoid a duplicate dependency in
rust-analyzer
.dashmap
doesn't seem to be used in the public API, so not counting it as a breaking change.