Hi all bot authors,
There are a lot of PRs (and issues) created by bots for nixpkgs on GitHub. Can those who work on them please add a label identifying them as such (e.g. label: “by-bot”?). Although bots are very useful, I prefer reviewing/merging PRs made by humans first.