A bot that builds pull requests for the OpenDNSSEC and SoftHSM projects