{"push_id":820481305,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"08909d8fedec48be0247b40ed5c531c744714de1","before":"96501e36397eede4059bc72df39cdd21c9aec6b0","commits":[{"sha":"08909d8fedec48be0247b40ed5c531c744714de1","author":{"email":"ded982e702e07bb7b6effafdc353db3fe172c83f@me.not","name":"bagohart"},"message":"Ersetzungsfunktion fuer x.n = a korrekt eingebaut, ohne mit shallow copy problemen die ganze restliche analyse zu zerschiessen. workaround ist aber haesslich.","distinct":true,"url":"https://api.github.com/repos/bagohart/acyclic-heap-theory-module/commits/08909d8fedec48be0247b40ed5c531c744714de1"}]}