{"push_id":835125040,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"54d10d02769494e99cd8314b0c66cb38c631d416","before":"da0d060294a80875bc7a4c0f5b27385d3c5a1270","commits":[{"sha":"54d10d02769494e99cd8314b0c66cb38c631d416","author":{"email":"e792a3753d9a02701cd15c5bace05b0eccfd8b19@pik-potsdam.de","name":"Nicola Botta"},"message":"Unfreezed LTE properties to get examples type check.","distinct":true,"url":"https://api.github.com/repos/nicolabotta/SeqDecProbs/commits/54d10d02769494e99cd8314b0c66cb38c631d416"}]}