@bcoe do you think there is anything we could do to handle this error? It occurs if I merge multiple pull requests in quick succession. I don't think it's a big deal as it won't occur often and the message is clear enough, but maybe there is something simple we could do about it?
