{"push_id":1230348509,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"da47a1b7fc733c8901aea89c8a7adcaed2601cf3","before":"fde4b3b89d57a4732919f315a6bf697812aa08d0","commits":[{"sha":"da47a1b7fc733c8901aea89c8a7adcaed2601cf3","author":{"name":"Jussi Raunio","email":"c6b870b15adfd0f0f987a75051d087342bb63672@gmail.com"},"message":"Add tests for binary connective. Fix substitution merge for binary connective.","distinct":true,"url":"https://api.github.com/repos/oinuar/logic/commits/da47a1b7fc733c8901aea89c8a7adcaed2601cf3"}]}
{"actor":{"display_login":"oinuar"}}