Hello, I don't know the technicalities required to do that (nor i have permissions to do it myself anyway), but I'm wondering if we should grant direct access to our repos to the Janitor user.
I don't think any of us checks those PRs in depth, and most of the time Jelmer comes in and bulk-merges them straight away (no complaints on that). So: let's just make that automatic? Thoughts? Regards, -- Sandro "morph" Tosi My website: http://sandrotosi.me/ Me at Debian: http://wiki.debian.org/SandroTosi Twitter: https://twitter.com/sandrotosi
