{"push_id":1424362640,"size":2,"distinct_size":2,"ref":"refs/heads/zzmodulespan-work","head":"52c51b67f6ddcfeff46e6ba09a20687f93eb4a0d","before":"75d1b107741f71548e8698b84de786f3363e2843","commits":[{"sha":"36a4f6d07083c8c198b6037ecf924a1e76eee1c7","author":{"name":"runKleisli","email":"60fae271b9845958b95e06024b81d2fba7a07f6f@openmailbox.org"},"message":"Reorder some code for better dependency.","distinct":true,"url":"https://api.github.com/repos/runKleisli/verified-integer-gaussian-elimination/commits/36a4f6d07083c8c198b6037ecf924a1e76eee1c7"},{"sha":"52c51b67f6ddcfeff46e6ba09a20687f93eb4a0d","author":{"name":"runKleisli","email":"60fae271b9845958b95e06024b81d2fba7a07f6f@openmailbox.org"},"message":"Remove (moveUpdateAt), which won't be used. It's stated slightly wrong, for reference.","distinct":true,"url":"https://api.github.com/repos/runKleisli/verified-integer-gaussian-elimination/commits/52c51b67f6ddcfeff46e6ba09a20687f93eb4a0d"}]}
{"actor":{"display_login":"runKleisli"}}