{"push_id":3088471741,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"58e5071189bf60aadb35aaafb7016615557be7de","before":"2e36fbcac4a04d4f29925ba09f441db6426b7af1","commits":[{"sha":"abdc6b34b11ac1ccbcb8c48291b74c6762fc7573","author":{"name":"Simon Gregersen","email":"9f9299302874df1eaa537a97b8f4e5806424912d@cs.au.dk"},"message":"Make OrderedTypeFullFacts a module functor","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/abdc6b34b11ac1ccbcb8c48291b74c6762fc7573"},{"sha":"58e5071189bf60aadb35aaafb7016615557be7de","author":{"name":"Gaëtan Gilbert","email":"26fa16609af92f7dd138c57814f0f88d569d969c@skyskimmer.net"},"message":"Merge PR #7153: Make OrderedTypeFullFacts a module functor","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/58e5071189bf60aadb35aaafb7016615557be7de"}]}
{"actor":{"display_login":"SkySkimmer"}}