{"push_id":3956694356,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1c161d1efc3be6a3f48cc0a803da67f9ec50ac94","before":"2b0d35c5aa9532635b63f85c0a9ad91cee565a85","commits":[{"sha":"1c161d1efc3be6a3f48cc0a803da67f9ec50ac94","author":{"name":"栗佐さん","email":"4a077125c3aac061e7345e10e0347f0dab2aa78f@users.noreply.github.com"},"message":"Create Lambda.agda","distinct":true,"url":"https://api.github.com/repos/freedan42x/Agda/commits/1c161d1efc3be6a3f48cc0a803da67f9ec50ac94"}]}
{"actor":{"display_login":"freedan42x"}}