{"push_id":1028035923,"size":1,"distinct_size":1,"ref":"refs/heads/lazyCleaner","head":"8fe5a6bbef7dd4cc139f151635e003b310f81803","before":"59d7c5bff248740194f30d7f5056fba724ac9142","commits":[{"sha":"8fe5a6bbef7dd4cc139f151635e003b310f81803","author":{"email":"fc82982220c254ae9e593c5b0f70b841a7963303@nagasaki-u.ac.jp","name":"shnarazk"},"message":"toggle the orders of arguments of `simplify` and `locked`","distinct":true,"url":"https://api.github.com/repos/shnarazk/mios/commits/8fe5a6bbef7dd4cc139f151635e003b310f81803"}]}