wa0x6e

<!-- 
  
    More faster : lint only modified files 
    --------------------------------------

    We create a new target to retrieve a list of modified files
    If there is modified files, execute the lint target, else skip
    with the `if="modifiedFiles"` option.

    The list of modified files is stored in ${files.modified}, one file per line.

chelmertz

#!/usr/bin/php
<?php

// copied from http://phpadvent.org/2008/dont-commit-that-error-by-travis-swicegood
// authored by Travis Swicegood
$output = array();
$return = 0;
exec('git rev-parse --verify HEAD 2> /dev/null', $output, $return);
$against = $return == 0 ? 'HEAD' : '4b825dc642cb6eb9a060e54bf8d69288fbee4904';