{"push_id":725686376,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2ed4ed28010b55ec2b52ff6635da266e34b4aa57","before":"0fb7f67bb9d676b0e37721b9fe891cc2b9e89c17","commits":[{"sha":"2ed4ed28010b55ec2b52ff6635da266e34b4aa57","author":{"email":"dcdadbfc9c9c7d32b6c64ca24a36990eb53d9991@galois.com","name":"Jonathan Daugherty"},"message":"Add OverloadedStrings, imports","distinct":true,"url":"https://api.github.com/repos/jtdaugherty/brick-devlunch/commits/2ed4ed28010b55ec2b52ff6635da266e34b4aa57"}]}