{"push_id":1720408233,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"7182159a80f3e4c8aaf9b4b168b6246896ab5658","before":"edcb3e0df933fcf42d2752339a8489ab292b4dbb","commits":[{"sha":"d756009a4904caa9cb941d12250d6f7b4c550004","author":{"name":"favonia","email":"9864b405460578bd05ff58708e245d6ae6a98283@gmail.com"},"message":"Introduce dedicated symbols for homotopies.","distinct":true,"url":"https://api.github.com/repos/HoTT/HoTT-Agda/commits/d756009a4904caa9cb941d12250d6f7b4c550004"},{"sha":"7182159a80f3e4c8aaf9b4b168b6246896ab5658","author":{"name":"favonia","email":"9864b405460578bd05ff58708e245d6ae6a98283@gmail.com"},"message":"Update the naming.","distinct":true,"url":"https://api.github.com/repos/HoTT/HoTT-Agda/commits/7182159a80f3e4c8aaf9b4b168b6246896ab5658"}]}
{"actor":{"display_login":"favonia"}}