{"push_id":1217427548,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"302d7bbeb1a40d67e86b4b508a81b62cb481fc1b","before":"51867f016047f33100d2a60c68e208267ca49804","commits":[{"sha":"302d7bbeb1a40d67e86b4b508a81b62cb481fc1b","author":{"name":"YtGz","email":"2cf5aa0d13d64b6ceea6eff9567597cdd24dd0b4@student.uibk.ac.at"},"message":"print terms and subs in an easy-to-read way","distinct":true,"url":"https://api.github.com/repos/YtGz/Analyzing-the-Complexity-of-Monotone-Prolog/commits/302d7bbeb1a40d67e86b4b508a81b62cb481fc1b"}]}
{"actor":{"display_login":"YtGz"}}