93a61d Add a unique identifier to the pull_request_flags table

Authored and Committed by Pierre-Yves Chibon 9 years ago
    Add a unique identifier to the pull_request_flags table
    
    This unique identifier can be provided by the 3rd party tool and thus be
    used to update an previously inserted flag.
    
        
file modified
+1 -0