• Show log

    Commit

  • Hash : 561276ee
    Author : Patrick Steinhardt
    Date : 2016-10-28T14:48:30

    coverity: only analyze the master branch of the main repository
    
    We used to only execute Coverity analysis on the 'development'
    branch before commit 998f001 (Refine build limitation,
    2014-01-15), which refined Coverity build limitations. While we
    do not really use the 'development' branch anymore, it does
    still make sense to only analyze a single branch, as otherwise
    Coverity might get confused.
    
    Re-establish the restriction such that we only analyze libgit2's
    'master' branch. Also fix the message announcing why we do not
    actually analyze a certain build.