{"push_id":1792393596,"size":1,"distinct_size":1,"ref":"refs/heads/scheduling-simplifications","head":"68a5e22cfae38f89eb862be0acc84db4c2b12ef7","before":"a7d3952c48c978fd172ae18c234222712c4cdace","commits":[{"sha":"68a5e22cfae38f89eb862be0acc84db4c2b12ef7","author":{"name":"Pantazis Deligiannis","email":"d1ac77c30aaeee2eb3eb29bf0f2ab01ef22a3293@microsoft.com"},"message":"simplified scheduler logic","distinct":true,"url":"https://api.github.com/repos/p-org/PSharp/commits/68a5e22cfae38f89eb862be0acc84db4c2b12ef7"}]}
{"actor":{"display_login":"pdeligia"}}