{"push_id":771791142,"size":2,"distinct_size":1,"ref":"refs/heads/raft-45","head":"50a59bbb1f2bd758825bca32364fd714ca18c64e","before":"3da5d0315e886f16308a83b9a7aec66dfceba434","commits":[{"sha":"1e863d9760f683641143a6248d7100674bddfde0","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"colin-scott"},"message":"Trying to hunt down weird nextTrace mutation bug","distinct":false,"url":"https://api.github.com/repos/NetSys/sts2-applications/commits/1e863d9760f683641143a6248d7100674bddfde0"},{"sha":"50a59bbb1f2bd758825bca32364fd714ca18c64e","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"colin-scott"},"message":"Merge commit '1e863d9760f683641143a6248d7100674bddfde0' into raft-45\n\nConflicts:\n\tinterposition/src/main/scala/verification/schedulers/DPORwHeuristics.scala","distinct":true,"url":"https://api.github.com/repos/NetSys/sts2-applications/commits/50a59bbb1f2bd758825bca32364fd714ca18c64e"}]}