[adrianN]

Maybe Github should provide a checkbox somewhere in my account setting where I can generally consent to bots making PRs in my repositories.