{"push_id":1206358586,"size":6,"distinct_size":1,"ref":"refs/heads/master","head":"974525ab3489efa2cd992cea96052741bec09f16","before":"0cfde4f8fb924c306745b0b30590c20a55963a5e","commits":[{"sha":"4c07b2f57173b5985d124f67116018f57e896a17","author":{"name":"Ryan Wang","email":"615cddbee98c1a718630876787c5e19f8ceccbf2@outlook.com"},"message":"WIP Command line interface","distinct":false,"url":"https://api.github.com/repos/WuTheFWasThat/propLogic/commits/4c07b2f57173b5985d124f67116018f57e896a17"},{"sha":"f9175dee00052e769ccf2f861d7a1e000b0c6fb4","author":{"name":"Jeff Wu","email":"704d4e5bd4a7cdc47487df5eff42f2c8c32f7a78@gmail.com"},"message":"fix repl","distinct":false,"url":"https://api.github.com/repos/WuTheFWasThat/propLogic/commits/f9175dee00052e769ccf2f861d7a1e000b0c6fb4"},{"sha":"3222d7a44cfdc5b798b9a11a2e9271d008137618","author":{"name":"Ryan Wang","email":"615cddbee98c1a718630876787c5e19f8ceccbf2@outlook.com"},"message":"Clean up interaction\n\n- Pull out `simpleInteract`\n- Flush stdout after setting prompt","distinct":false,"url":"https://api.github.com/repos/WuTheFWasThat/propLogic/commits/3222d7a44cfdc5b798b9a11a2e9271d008137618"},{"sha":"fed042e748c3220f382d5182196a6022921c704b","author":{"name":"Ryan Wang","email":"615cddbee98c1a718630876787c5e19f8ceccbf2@outlook.com"},"message":"Cause the interaction to loop","distinct":false,"url":"https://api.github.com/repos/WuTheFWasThat/propLogic/commits/fed042e748c3220f382d5182196a6022921c704b"},{"sha":"8fc49066411037f270f29a51c204aba15abd0c84","author":{"name":"Ryan Wang","email":"615cddbee98c1a718630876787c5e19f8ceccbf2@outlook.com"},"message":"Add a note","distinct":false,"url":"https://api.github.com/repos/WuTheFWasThat/propLogic/commits/8fc49066411037f270f29a51c204aba15abd0c84"},{"sha":"974525ab3489efa2cd992cea96052741bec09f16","author":{"name":"Ryan Wang","email":"615cddbee98c1a718630876787c5e19f8ceccbf2@outlook.com"},"message":"Merge branch 'wgyn-cli-2'","distinct":true,"url":"https://api.github.com/repos/WuTheFWasThat/propLogic/commits/974525ab3489efa2cd992cea96052741bec09f16"}]}
{"actor":{"display_login":"wgyn"}}