{"push_id":1682311124,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d4db1fade6e0a6c19dc59bfc5329442d5ed8d625","before":"606ef20474c82f2573f0d89d91b48ce6ec0fa792","commits":[{"sha":"d4db1fade6e0a6c19dc59bfc5329442d5ed8d625","author":{"name":"Rui Barreiro","email":"6aebb75e66d2cc779565ffd522a5ac0afd5f297e@rbarreiro-acer.lan"},"message":"switch to liftDecls","distinct":true,"url":"https://api.github.com/repos/rbarreiro/idrisjs/commits/d4db1fade6e0a6c19dc59bfc5329442d5ed8d625"}]}
{"actor":{"display_login":"rbarreiro"}}