5a8c6a Upon merging a pull-request, call the post-receive hook

Authored and Committed by Pierre-Yves Chibon 7 years ago
    Upon merging a pull-request, call the post-receive hook
    
        
file modified
+11 -3