{"push_id":605218422,"size":1,"distinct_size":1,"ref":"refs/heads/wip/tactical","head":"84019b66f3b99a9b3c8f6fba8055f554c8bbb167","before":"361efb574ea3b1c3cc6fa1ab89d63fe1734ebe1a","commits":[{"sha":"84019b66f3b99a9b3c8f6fba8055f554c8bbb167","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Fix quasiquoted Raw binder terms\n\nThese had a bug in the reification that hard-coded TT before.","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/84019b66f3b99a9b3c8f6fba8055f554c8bbb167"}]}