{"push_id":884961169,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8441df70acb0db7395277e6dc22cfbb0417e48c5","before":"1ef5bfdc5d52e907c5b1e7106bd649825ea66ae1","commits":[{"sha":"8441df70acb0db7395277e6dc22cfbb0417e48c5","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"colin-scott"},"message":"Default -> ClockClusterizer. ClockThenSingleton doesn't do much","distinct":true,"url":"https://api.github.com/repos/NetSys/demi/commits/8441df70acb0db7395277e6dc22cfbb0417e48c5"}]}