{"push_id":738009332,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"05fea576f4cc1e0f03348303372eea9580a0fc45","before":"00e801a27aeeae9c2bf0b276ca2da730a92640ca","commits":[{"sha":"05fea576f4cc1e0f03348303372eea9580a0fc45","author":{"email":"408d890298c4963dfaac2e8b508552b9e1ee8048@Sachara.de","name":"Fabian Sachara"},"message":"working DIVMOD","distinct":true,"url":"https://api.github.com/repos/LolHens/LogicToProm/commits/05fea576f4cc1e0f03348303372eea9580a0fc45"}]}