Not sure if there is anything that can be done about it (other than keeping pull requests to off-peak hours).