{"push_id":2636022925,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"94027242d47ac721273e5d6a7158b28a755dbb88","before":"f984a013de8b88abf29a7749bc451ce58d6f260c","commits":[{"sha":"94027242d47ac721273e5d6a7158b28a755dbb88","author":{"name":"NAMEhzj","email":"3702f91360a06ed3b7c8a746f6714dc6e98d9def@users.noreply.github.com"},"message":"Add files via upload","distinct":true,"url":"https://api.github.com/repos/NAMEhzj/Mathematics-in-Agda/commits/94027242d47ac721273e5d6a7158b28a755dbb88"}]}
{"actor":{"display_login":"NAMEhzj"}}