{"push_id":1442011138,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"fcc80add9e2ff0ec6f8369c45e96fdd337f541da","before":"2a9c819cfe60e0847c9fea44180900be864af844","commits":[{"sha":"fcc80add9e2ff0ec6f8369c45e96fdd337f541da","author":{"name":"Gabriel Ebner","email":"1b660fb788ccf92c8293f42098059e11385ec300@gebner.org"},"message":"chore(automation/super): adapt to changes caused by lean-native merge","distinct":true,"url":"https://api.github.com/repos/leanprover/library_dev/commits/fcc80add9e2ff0ec6f8369c45e96fdd337f541da"}]}
{"actor":{"display_login":"gebner"}}