a122575 Rename monitor_gating to monitor_gating_single_build

Authored and Committed by pingou 4 years ago
    Rename monitor_gating to monitor_gating_single_build
    
    This is more consistent with the monitor_gating_multi_builds and more
    self-explicit.
    
    Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>
    
        
monitor_gating_single_build.py monitor_gating.py
file renamed
file was renamed with no change to the file
file modified
+2 -2