{"push_id":1241487016,"size":7,"distinct_size":3,"ref":"refs/heads/feature/coq","head":"f3b856bd6e36cc9e80cd4391b07a6d9d973d65d0","before":"66a29f1ab4db7a60911c4dd9b558b4d6fafb91dd","commits":[{"sha":"e206bacba6e3fece411e30bb62ff420d06a15907","author":{"name":"Vlad Vergu","email":"f37da61a95eaf8700bdf63413dfa5afe045c5cc8@gmail.com"},"message":"Update for Spoofax 2.1.0. Also lazily initialize user-defined RuleRegistry entries.","distinct":false,"url":"https://api.github.com/repos/metaborg/dynsem/commits/e206bacba6e3fece411e30bb62ff420d06a15907"},{"sha":"b79f2e5a9816336c2cd68df25cce01de78e7da29","author":{"name":"Vlad Vergu","email":"f37da61a95eaf8700bdf63413dfa5afe045c5cc8@gmail.com"},"message":"Extend DynSemContext with a property store.","distinct":false,"url":"https://api.github.com/repos/metaborg/dynsem/commits/b79f2e5a9816336c2cd68df25cce01de78e7da29"},{"sha":"f832059d7ca0de93ed3d844aa94a69b4c42cbe01","author":{"name":"Vlad Vergu","email":"f37da61a95eaf8700bdf63413dfa5afe045c5cc8@gmail.com"},"message":"Add javadoc comments for DynSemContext","distinct":false,"url":"https://api.github.com/repos/metaborg/dynsem/commits/f832059d7ca0de93ed3d844aa94a69b4c42cbe01"},{"sha":"950a8b737d092b0a7040f9b289b56e9857b7bf7d","author":{"name":"Vlad Vergu","email":"f37da61a95eaf8700bdf63413dfa5afe045c5cc8@gmail.com"},"message":"Add term support for maintaining a reference to the StrategoTerm that terms get created from.","distinct":false,"url":"https://api.github.com/repos/metaborg/dynsem/commits/950a8b737d092b0a7040f9b289b56e9857b7bf7d"},{"sha":"0977dc241a439d8ee08967702b67f0b2324f99f4","author":{"name":"Casper Bach Poulsen","email":"8e55c027c12f3307cdbc6911597b126106479e23@gmail.com"},"message":"Fixed some silly FIXMEs","distinct":true,"url":"https://api.github.com/repos/metaborg/dynsem/commits/0977dc241a439d8ee08967702b67f0b2324f99f4"},{"sha":"42e5d81425209ecdde01d35974d20c925d70c1bf","author":{"name":"Casper Bach Poulsen","email":"8e55c027c12f3307cdbc6911597b126106479e23@gmail.com"},"message":"FIXME was a little less trivial than previously assumed, but is now fixed.","distinct":true,"url":"https://api.github.com/repos/metaborg/dynsem/commits/42e5d81425209ecdde01d35974d20c925d70c1bf"},{"sha":"f3b856bd6e36cc9e80cd4391b07a6d9d973d65d0","author":{"name":"Casper Bach Poulsen","email":"8e55c027c12f3307cdbc6911597b126106479e23@gmail.com"},"message":"Merge branch 'master' of https://github.com/metaborg/dynsem into feature/coq","distinct":true,"url":"https://api.github.com/repos/metaborg/dynsem/commits/f3b856bd6e36cc9e80cd4391b07a6d9d973d65d0"}]}
{"actor":{"display_login":"casperbp"}}