aabc84f Replace the jenkins hook by a more generic CI one

Authored and Committed by pingou 7 years ago
    Replace the jenkins hook by a more generic CI one