b8aa3b Set an informative message instead of using alert

Authored and Committed by Pierre-Yves Chibon 10 years ago
    Set an informative message instead of using alert
    
    This when we fail to determine the state of the PR wrt merging