{"push_id":628623714,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3de0b84f55d2b941723176838a8046c3458864b8","before":"ecc60bc5f6056e6e70358efe73fbad753e69b750","commits":[{"sha":"3de0b84f55d2b941723176838a8046c3458864b8","author":{"email":"d3e4f0384a95d35d1f73c84fe6a237b90632f4f1@gmail.com","name":"ishandesilva"},"message":"Update prolog.pl","distinct":true,"url":"https://api.github.com/repos/NSBM-DSA/formal_foundation/commits/3de0b84f55d2b941723176838a8046c3458864b8"}]}