9213b30
Small wording improvement in the logs This just to help distinguish when PRs have been merged vs just checked for their merge-ability. Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>