{"push_id":675211753,"size":1,"distinct_size":1,"ref":"refs/heads/idris-safe-types","head":"dd2560b4379f1b2b306a15c4bedaecabed1fe6be","before":"dce0568b55529a945152a3c05f0e5bb8d561dd53","commits":[{"sha":"dd2560b4379f1b2b306a15c4bedaecabed1fe6be","author":{"email":"ac3ae398d01aaf4f470ba4f75113fc35c4cd321b@gmail.com","name":"Vittorio Zaccaria"},"message":"Refactor binary tools into another file","distinct":true,"url":"https://api.github.com/repos/vzaccaria/clash-sandbox/commits/dd2560b4379f1b2b306a15c4bedaecabed1fe6be"}]}