{"push_id":1173518883,"size":1,"distinct_size":1,"ref":"refs/heads/atva_memory_encoding","head":"b6d1c9a11dab0d0a8b0e5287dfb4f50d3c2bf6f5","before":"92725a5b7276a9697fe41cb991219d81c6321239","commits":[{"sha":"b6d1c9a11dab0d0a8b0e5287dfb4f50d3c2bf6f5","author":{"name":"Rody Kersten","email":"5ab9f1ebd2e25f1967b5b7c00bef24395a9d7068@sv.cmu.edu"},"message":"replace PackingList with on-the-fly check","distinct":true,"url":"https://api.github.com/repos/jayhorn/jayhorn/commits/b6d1c9a11dab0d0a8b0e5287dfb4f50d3c2bf6f5"}]}
{"actor":{"display_login":"rodykersten"}}