{"push_id":3168543009,"size":14,"distinct_size":2,"ref":"refs/heads/master","head":"9c1465cfc7fe945d95e79cd0d73f4170696356a4","before":"204acb1a7720f25e8ed05a407aa8b5f30f207526","commits":[{"sha":"bb3cd8cdcf5be4209c82b7a15d90c8181f5740ae","author":{"name":"Ganesh Prasad Kumble","email":"81cb4813a661a6b0d913b598dc6d998010ae0ce1@users.noreply.github.com"},"message":"- started on the intro terms","distinct":false,"url":"https://api.github.com/repos/TARAFramework/tara-paper/commits/bb3cd8cdcf5be4209c82b7a15d90c8181f5740ae"},{"sha":"89a4f6f4ce94daec1f72fe83e176241ac6cdbbf2","author":{"name":"Ganesh Prasad Kumble","email":"81cb4813a661a6b0d913b598dc6d998010ae0ce1@users.noreply.github.com"},"message":"- implementation details, patched from old paper","distinct":false,"url":"https://api.github.com/repos/TARAFramework/tara-paper/commits/89a4f6f4ce94daec1f72fe83e176241ac6cdbbf2"},{"sha":"e1c76baa841d2ed3d3c14068e41fce3f4af481c0","author":{"name":"Ganesh Prasad Kumble","email":"81cb4813a661a6b0d913b598dc6d998010ae0ce1@users.noreply.github.com"},"message":"- update introduction","distinct":false,"url":"https://api.github.com/repos/TARAFramework/tara-paper/commits/e1c76baa841d2ed3d3c14068e41fce3f4af481c0"},{"sha":"16c010aa89bb2d2707cfd895acee5c217f60e957","author":{"name":"Ganesh Prasad Kumble","email":"81cb4813a661a6b0d913b598dc6d998010ae0ce1@users.noreply.github.com"},"message":"- migrate correctness section, as-is","distinct":false,"url":"https://api.github.com/repos/TARAFramework/tara-paper/commits/16c010aa89bb2d2707cfd895acee5c217f60e957"},{"sha":"45abb1f4d56e5613e7d22998e9f68daa7eeabf80","author":{"name":"Ganesh Prasad Kumble","email":"81cb4813a661a6b0d913b598dc6d998010ae0ce1@users.noreply.github.com"},"message":"- fix citations\n- add `managing failures` seciton under correctness","distinct":false,"url":"https://api.github.com/repos/TARAFramework/tara-paper/commits/45abb1f4d56e5613e7d22998e9f68daa7eeabf80"},{"sha":"a4f35e2c8dde159b3d191911bc27c6bae1345cc6","author":{"name":"Ganesh Prasad Kumble","email":"81cb4813a661a6b0d913b598dc6d998010ae0ce1@users.noreply.github.com"},"message":"- fix formatting errors","distinct":false,"url":"https://api.github.com/repos/TARAFramework/tara-paper/commits/a4f35e2c8dde159b3d191911bc27c6bae1345cc6"},{"sha":"1da5feec1bc1c0ab76e96be1cff99142078454b0","author":{"name":"Ganesh Prasad Kumble","email":"81cb4813a661a6b0d913b598dc6d998010ae0ce1@users.noreply.github.com"},"message":"- readable abstract","distinct":false,"url":"https://api.github.com/repos/TARAFramework/tara-paper/commits/1da5feec1bc1c0ab76e96be1cff99142078454b0"},{"sha":"da7e4e4de069919b12035309e47e486c1ad61a05","author":{"name":"Ganesh Prasad Kumble","email":"81cb4813a661a6b0d913b598dc6d998010ae0ce1@users.noreply.github.com"},"message":"- clean up of text in Backgrounf & Intro","distinct":false,"url":"https://api.github.com/repos/TARAFramework/tara-paper/commits/da7e4e4de069919b12035309e47e486c1ad61a05"},{"sha":"92810e8771f41eef1ca4769d9d9ecfd64b033402","author":{"name":"Ganesh Prasad Kumble","email":"81cb4813a661a6b0d913b598dc6d998010ae0ce1@users.noreply.github.com"},"message":"- rebuff: grand nodes","distinct":false,"url":"https://api.github.com/repos/TARAFramework/tara-paper/commits/92810e8771f41eef1ca4769d9d9ecfd64b033402"},{"sha":"4cc22b19ff7352815859e698d18e63c4924d7731","author":{"name":"Ganesh Prasad Kumble","email":"81cb4813a661a6b0d913b598dc6d998010ae0ce1@users.noreply.github.com"},"message":"- refactored \\Introduction","distinct":false,"url":"https://api.github.com/repos/TARAFramework/tara-paper/commits/4cc22b19ff7352815859e698d18e63c4924d7731"},{"sha":"f036c1995c9237b48feb40696e7544fe6341a5e3","author":{"name":"Ganesh Prasad Kumble","email":"81cb4813a661a6b0d913b598dc6d998010ae0ce1@users.noreply.github.com"},"message":"- Notation of headings begin & end","distinct":false,"url":"https://api.github.com/repos/TARAFramework/tara-paper/commits/f036c1995c9237b48feb40696e7544fe6341a5e3"},{"sha":"a94b8b97e0ff3a4e79c6d88a5c7a83e30f976b98","author":{"name":"Ganesh Prasad Kumble","email":"81cb4813a661a6b0d913b598dc6d998010ae0ce1@users.noreply.github.com"},"message":"- weekly update push","distinct":false,"url":"https://api.github.com/repos/TARAFramework/tara-paper/commits/a94b8b97e0ff3a4e79c6d88a5c7a83e30f976b98"},{"sha":"7ff48e0690dad2d097cca062dc39717f20919445","author":{"name":"Ganesh Prasad Kumble","email":"0f9ede1f60065e37a76a4392a1f4fb2f9d567d1c@users.noreply.github.com"},"message":"Merge pull request #1 from cattitude/content\n\nfork: Content -> master","distinct":true,"url":"https://api.github.com/repos/TARAFramework/tara-paper/commits/7ff48e0690dad2d097cca062dc39717f20919445"},{"sha":"9c1465cfc7fe945d95e79cd0d73f4170696356a4","author":{"name":"Ganesh Prasad Kumble","email":"0f9ede1f60065e37a76a4392a1f4fb2f9d567d1c@users.noreply.github.com"},"message":"Merge pull request #4 from cattitude/master\n\nWeekly sync of tara-paper #1","distinct":true,"url":"https://api.github.com/repos/TARAFramework/tara-paper/commits/9c1465cfc7fe945d95e79cd0d73f4170696356a4"}]}
{"actor":{"display_login":"cattitude"}}