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>