{"push_id":2527313745,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"977e81256b8a7a8fd0c53a4fc299ee8eaa57c951","before":"aab9f8b5b840704e35e85b94bc2776dce15644b9","commits":[{"sha":"ed0575a951014b869a3742ff9c20f731a684ed86","author":{"name":"Wytse Oortwijn","email":"e59a98df8360416c6cf43d4c5deba5ececc17c74@wlan024102.mobiel.utwente.nl"},"message":"added verification examples from VerifyThis","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/vercors/commits/ed0575a951014b869a3742ff9c20f731a684ed86"},{"sha":"6bfab360f7ca4b4969c23d11bc2dac27ff490e29","author":{"name":"Wytse Oortwijn","email":"e59a98df8360416c6cf43d4c5deba5ececc17c74@wlan024102.mobiel.utwente.nl"},"message":"Merge branch 'master' of https://github.com/utwente-fmt/vercors","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/vercors/commits/6bfab360f7ca4b4969c23d11bc2dac27ff490e29"},{"sha":"23171a3fa9a5dd906c925bb82349b23e66b1d3e5","author":{"name":"Wytse Oortwijn","email":"e59a98df8360416c6cf43d4c5deba5ececc17c74@wlan024102.mobiel.utwente.nl"},"message":"updated Rise4Fun client","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/vercors/commits/23171a3fa9a5dd906c925bb82349b23e66b1d3e5"},{"sha":"b000c287ce05328661e872319179c8435df1458d","author":{"name":"Wytse Oortwijn","email":"e59a98df8360416c6cf43d4c5deba5ececc17c74@wlan024102.mobiel.utwente.nl"},"message":"small fix to Rise4Fun server","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/vercors/commits/b000c287ce05328661e872319179c8435df1458d"},{"sha":"6a92719bc0771f43d9709032f3b9d67290d50c4d","author":{"name":"Wytse Oortwijn","email":"e59a98df8360416c6cf43d4c5deba5ececc17c74@wlan024102.mobiel.utwente.nl"},"message":"changed test suite of VerifyThis example files","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/vercors/commits/6a92719bc0771f43d9709032f3b9d67290d50c4d"},{"sha":"977e81256b8a7a8fd0c53a4fc299ee8eaa57c951","author":{"name":"wytseoortwijn","email":"e59a98df8360416c6cf43d4c5deba5ececc17c74@gmail.com"},"message":"Merge pull request #76 from wytseoortwijn/master\n\nAdded VerifyThis examples","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/vercors/commits/977e81256b8a7a8fd0c53a4fc299ee8eaa57c951"}]}
{"actor":{"display_login":"wytseoortwijn"}}