{"push_id":1881528064,"size":1,"distinct_size":1,"ref":"refs/heads/subdivision","head":"b9fbe659b6e9898993522ccb3698075a64bb816b","before":"7dbae431c7042070bb9398e55300ffb6748f604c","commits":[{"sha":"b9fbe659b6e9898993522ccb3698075a64bb816b","author":{"name":"Winfried Bruns","email":"025a8278903f97789cfd507ddb1c57c27e8970e6@uos.de"},"message":"Switch back to machine integer from GMP for subdivision","distinct":true,"url":"https://api.github.com/repos/Normaliz/Normaliz/commits/b9fbe659b6e9898993522ccb3698075a64bb816b"}]}
{"actor":{"display_login":"w-bruns"}}