{"push_id":1066039479,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"54b5a44ca51737d99736b9049aee9ecd85b52b5d","before":"c1c350981d482b8c021eef9466bece0d66ec42de","commits":[{"sha":"54b5a44ca51737d99736b9049aee9ecd85b52b5d","author":{"email":"058d6cc9016e54c533377bc31d911915f2fb4278@cnrs.fr","name":"Ludovic Henrio"},"message":"Initialisation; two folders: serialisation and multiASP","distinct":true,"url":"https://api.github.com/repos/lhenrio/MultiASP-Isabelle/commits/54b5a44ca51737d99736b9049aee9ecd85b52b5d"}]}