{"push_id":857119426,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7f8b52a19f1958e622de7d83dd588d25635437df","before":"cfe83c855ccb93efb79ed02f9550fc3ec0c138ea","commits":[{"sha":"7f8b52a19f1958e622de7d83dd588d25635437df","author":{"email":"df0078c222fc2789d89cf85b5f4485e369a934b8@gmail.com","name":"Abhishek Anand (CoRN VM @ vaio)"},"message":"defined composition of atomic moves and finished refractoring.\nwriggle is now a compositon of 2 instances of an atomic move.\nThis simplified the proofs, and would greatly simplify future proofs.","distinct":true,"url":"https://api.github.com/repos/aa755/ROSCoq/commits/7f8b52a19f1958e622de7d83dd588d25635437df"}]}