{"push_id":3181235181,"size":1,"distinct_size":1,"ref":"refs/heads/sprop","head":"bc4be75bde1ad82b7c368b7830242694d48acd0b","before":"07c2e354b07098c8a3ab3080a6b6d26e8c28e3c1","commits":[{"sha":"bc4be75bde1ad82b7c368b7830242694d48acd0b","author":{"name":"Gaëtan Gilbert","email":"26fa16609af92f7dd138c57814f0f88d569d969c@skyskimmer.net"},"message":"Adapt to coq/coq#8817 (SProp)","distinct":true,"url":"https://api.github.com/repos/SkySkimmer/Mtac2/commits/bc4be75bde1ad82b7c368b7830242694d48acd0b"}]}
{"actor":{"display_login":"SkySkimmer"}}