{"head":"f6f67f6ec64312e981375b77a6d27f141a89fa40","size":1,"push_id":44190964,"shas":[["f6f67f6ec64312e981375b77a6d27f141a89fa40","a5f5c49713e717ed0c5f431633f401f6f6ab6c6a@gerf.org","Added travis-ci badge","Christian Höltje"]],"ref":"refs/heads/master"}