Allow approving only some part of the tree
It could be nice to have granular permissions and allow some users to r+ only some subdirectory of the repository.
I was thinking about trying to implement this but I don't know what structure to go for? I'm assuming this will be a configurable option within rust-bots.toml.
Structure I had in mind:
[permissions]
"src/web" = ["ghusername", "user2"]
"src/api" = ["ghusername1", "ghusername"]
"docs/" = ["docs-team"]
"src/**" = ["ghusername3"]
Would the above be a good structure / supported configuration?
To be honest, I would put this to the backburner for now. It's an idea that has been floated around, but it needs a lot of discussions with infra and the various teams, and changes in https://github.com/rust-lang/team. We can talk about this once bors is actually working, but for now it is premature.