dd6f039 Update documentation and DB update

Authored and Committed by cverna 6 years ago
    Update documentation and DB update
    
    Use the current value of the active CI hook
    to update the active_pr value.
    Also add documentation for new PR/Commit activation
    option.
    
    Signed-off-by: Clement Verna <cverna@tutanota.com>
    
        
file modified
+4 -0
file modified
+1 -1