GitHub PushEvent at 2014-05-05 14:06:13
Repository: php-pm
Actor: marcj
Payload: {"shas":[["31e7663ed91560ee3032249593034cb926bb0402","9557b9e63b084dd722563cef6a800eb7835c4623@googlemail.com","use input options used when provided and if missing the options from the config file as a fallback (if present)\n\noptions from the cli are considered more specific than global ones from\nthe config file.","Markus Staab",true],["b788d8022e4beb43ddf2d211d1dc9bda31a3df94","d33c80bc45d65303e33ca83108a9952b745af9ef@kryn.org","Merge pull request #16 from staabm/master\n\nuse input options used when provided and if missing the options from the...","Marc J. Schmidt",true]],"size":2,"ref":"refs/heads/master","head":"b788d8022e4beb43ddf2d211d1dc9bda31a3df94"}