1. 2019-10-26 Re: [gentoo-dev] RFC: Should the bot add PRs directly gentoo-de Thomas Deutschmann 2. 2019-10-26 Re: [gentoo-dev] RFC: Should the bot add PRs directly gentoo-de Kent Fredric 3. 2019-10-26 [gentoo-dev] RFC: Should the bot add PRs directly to gentoo-de Jonas Stein