{"push_id":2471875430,"size":1,"distinct_size":1,"ref":"refs/heads/type-prop","head":"a41f4304a3a5c33a0181366c44c80eb8ecd00f4e","before":"7242d5b1307728955983a99c749f677d7cd6c16f","commits":[{"sha":"a41f4304a3a5c33a0181366c44c80eb8ecd00f4e","author":{"name":"Théo Winterhalter","email":"2f116f526448bec65094a5ac6d2d334225369e2c@gmail.com"},"message":"Update change_type","distinct":true,"url":"https://api.github.com/repos/TheoWinterhalter/template-coq/commits/a41f4304a3a5c33a0181366c44c80eb8ecd00f4e"}]}
{"actor":{"display_login":"TheoWinterhalter"}}