{"push_id":2810465386,"size":3,"distinct_size":3,"ref":"refs/heads/gsoc18-cython","head":"b9deef164b3eff4066c718fc0e487faf9ac32df2","before":"8e92f8667072bd109cd4ef86f5624cf1d27cd416","commits":[{"sha":"6a0523958f2e3bb734f92a9ec6f3f5edce16963c","author":{"name":"Daniel Nyga","email":"924bdd0f89488e3d922fd5afcedc675d82c31f13@cs.uni-bremen.de"},"message":"fixed evaluation of hard formula in default grounding","distinct":true,"url":"https://api.github.com/repos/kaivalyar/pracmln/commits/6a0523958f2e3bb734f92a9ec6f3f5edce16963c"},{"sha":"280cbb27770f04804f1b879899a47458f31d65bb","author":{"name":"Daniel Nyga","email":"924bdd0f89488e3d922fd5afcedc675d82c31f13@cs.uni-bremen.de"},"message":"added symbolic link to _version","distinct":true,"url":"https://api.github.com/repos/kaivalyar/pracmln/commits/280cbb27770f04804f1b879899a47458f31d65bb"},{"sha":"b9deef164b3eff4066c718fc0e487faf9ac32df2","author":{"name":"Kaivalya Rawal","email":"11caa52135e65c525964f37a9ff48818eadb501c@users.noreply.github.com"},"message":"Merge branch 'gsoc18-cython' into gsoc18-cython","distinct":true,"url":"https://api.github.com/repos/kaivalyar/pracmln/commits/b9deef164b3eff4066c718fc0e487faf9ac32df2"}]}
{"actor":{"display_login":"kaivalyar"}}