{"push_id":2573543211,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9775a93259cf23e41caf1a4989092847670190b9","before":"923fd94779f0c7f956910291a14fa46e857b8e95","commits":[{"sha":"9775a93259cf23e41caf1a4989092847670190b9","author":{"name":"David B. Lamkins","email":"4bf1166166360b6efed53125811d31262f1ce204@galois.com"},"message":"Implement tag compaction per monitor.","distinct":true,"url":"https://api.github.com/repos/TieDyedDevil/K/commits/9775a93259cf23e41caf1a4989092847670190b9"}]}
{"actor":{"display_login":"TieDyedDevil"}}