{"push_id":817122561,"size":8,"distinct_size":8,"ref":"refs/heads/master","head":"5e7360615ce574e114b291cc754949f3834e713b","before":"8455768a8b4c147bca568527d1f9527a64b2670a","commits":[{"sha":"5abb65dc4c48608635134264dde0843590b69386","author":{"email":"5e82f8fd311a930f699c8596ec957e1199ed4830@gmail.com","name":"ragozina.anastasiya"},"message":"Add z3, move project","distinct":true,"url":"https://api.github.com/repos/YaccConstructor/VisualFStar/commits/5abb65dc4c48608635134264dde0843590b69386"},{"sha":"bc6a4f9e8ee65fbb01c7e7f4882ee74228ed22ac","author":{"email":"5e82f8fd311a930f699c8596ec957e1199ed4830@gmail.com","name":"ragozina.anastasiya"},"message":"Merge branch 'master' of https://github.com/YaccConstructor/VisualFStar","distinct":true,"url":"https://api.github.com/repos/YaccConstructor/VisualFStar/commits/bc6a4f9e8ee65fbb01c7e7f4882ee74228ed22ac"},{"sha":"274e45ce39edee69cdae29bd534d78f66a5ad5c7","author":{"email":"5e82f8fd311a930f699c8596ec957e1199ed4830@gmail.com","name":"ragozina.anastasiya"},"message":"merge","distinct":true,"url":"https://api.github.com/repos/YaccConstructor/VisualFStar/commits/274e45ce39edee69cdae29bd534d78f66a5ad5c7"},{"sha":"ed88d6f715a7f1c2a8a691933239f3f6f421942c","author":{"email":"5e82f8fd311a930f699c8596ec957e1199ed4830@gmail.com","name":"ragozina.anastasiya"},"message":"template fix","distinct":true,"url":"https://api.github.com/repos/YaccConstructor/VisualFStar/commits/ed88d6f715a7f1c2a8a691933239f3f6f421942c"},{"sha":"c4b886556d047fd79c11e661a8838bf335c3a8a9","author":{"email":"5e82f8fd311a930f699c8596ec957e1199ed4830@gmail.com","name":"ragozina.anastasiya"},"message":"test project","distinct":true,"url":"https://api.github.com/repos/YaccConstructor/VisualFStar/commits/c4b886556d047fd79c11e661a8838bf335c3a8a9"},{"sha":"c5abab1545ed2e9ddc2d4507f68cdc0a8c0c1bf1","author":{"email":"5e82f8fd311a930f699c8596ec957e1199ed4830@gmail.com","name":"ragozina.anastasiya"},"message":"fix buildTask","distinct":true,"url":"https://api.github.com/repos/YaccConstructor/VisualFStar/commits/c5abab1545ed2e9ddc2d4507f68cdc0a8c0c1bf1"},{"sha":"4e741aa4610e6264db6a9f501c4f311434328d91","author":{"email":"5e82f8fd311a930f699c8596ec957e1199ed4830@gmail.com","name":"ragozina.anastasiya"},"message":"small cleanup","distinct":true,"url":"https://api.github.com/repos/YaccConstructor/VisualFStar/commits/4e741aa4610e6264db6a9f501c4f311434328d91"},{"sha":"5e7360615ce574e114b291cc754949f3834e713b","author":{"email":"5e82f8fd311a930f699c8596ec957e1199ed4830@gmail.com","name":"ragozina.anastasiya"},"message":"submodule changes","distinct":true,"url":"https://api.github.com/repos/YaccConstructor/VisualFStar/commits/5e7360615ce574e114b291cc754949f3834e713b"}]}