Shorten git hashes for eval-stdin.php