{"ref":"refs/heads/master","commits":[{"author":{"email":"41608c28c3235924bbac14c25251da4b6fa81bb9@cs.ucsd.edu","name":"Zach Tatlock"},"sha":"388e95bc2e47120b1c5f1c3511c15534ed00f59d","message":"tweak command line flags","url":"https://api.github.com/repos/ztatlock/color-scheme-compiler/commits/388e95bc2e47120b1c5f1c3511c15534ed00f59d"}],"head":"388e95bc2e47120b1c5f1c3511c15534ed00f59d","size":1,"push_id":51922632}