{"push_id":880952483,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"6d1d0c527043d4051b8beb9b63d0191252d2fcd8","before":"c86e197b276f16e331123e8f71791b8b3a9d7d04","commits":[{"sha":"54849754bbe842f466b4f147f1d591ec889b5f98","author":{"email":"e792a3753d9a02701cd15c5bace05b0eccfd8b19@pik-potsdam.de","name":"Nicola Botta"},"message":"Implementing properties of non-negative rationals.","distinct":true,"url":"https://api.github.com/repos/TimRichter/SeqDecProbs/commits/54849754bbe842f466b4f147f1d591ec889b5f98"},{"sha":"6d1d0c527043d4051b8beb9b63d0191252d2fcd8","author":{"email":"e792a3753d9a02701cd15c5bace05b0eccfd8b19@pik-potsdam.de","name":"Nicola Botta"},"message":"Implementing distributivity properties.","distinct":true,"url":"https://api.github.com/repos/TimRichter/SeqDecProbs/commits/6d1d0c527043d4051b8beb9b63d0191252d2fcd8"}]}