c7f9fa Finish the progit_hook_tickets git hook to reload ticket pushed to the git

Authored and Committed by Pierre-Yves Chibon 9 years ago
    Finish the progit_hook_tickets git hook to reload ticket pushed to the git
    
    With these changes, someone can directly push to the ticket repository
    and *if* the hook is active, the content of the git will be used to
    update the database, thus actually allowing sync of issues between two
    instances of progit
    
    Fixes http://209.132.184.222/progit/issue/26
    
        
file modified
+100 -0