{"push_id":873727208,"size":1,"distinct_size":1,"ref":"refs/heads/mirror-svn","head":"2a896d6eb68c7bf3a240575a6c214c1cce2e3912","before":"db1bdf60f6bf5a254576289aaaf40c5eee5125fb","commits":[{"sha":"2a896d6eb68c7bf3a240575a6c214c1cce2e3912","author":{"email":"bcf9b58be99e78c42d7658a0b787b7e8cd138114@09069c07-60fa-4895-8316-727242e252e4","name":"miancu"},"message":"DPath-related updates and bufixes \n\ngit-svn-id: https://svn.kwarc.info/repos/MMT@3473 09069c07-60fa-4895-8316-727242e252e4","distinct":true,"url":"https://api.github.com/repos/KWARC/MMT/commits/2a896d6eb68c7bf3a240575a6c214c1cce2e3912"}]}