{"push_id":1227040657,"size":1,"distinct_size":1,"ref":"refs/heads/attrs","head":"ede3aa1f7f9f11dfd96856a349ead5e40a26cb19","before":"534c9dcabb6d0f5590e5db821311ae54a7cf9247","commits":[{"sha":"ede3aa1f7f9f11dfd96856a349ead5e40a26cb19","author":{"name":"Sebastian Ullrich","email":"d75285033fdb72f7a8821d7ebf570fcc253ba65f@nullri.ch"},"message":"fix(library): remove classical instances from global scope","distinct":true,"url":"https://api.github.com/repos/Kha/lean/commits/ede3aa1f7f9f11dfd96856a349ead5e40a26cb19"}]}
{"actor":{"display_login":"Kha"}}