{"push_id":2969226112,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"57ecac24a82956ca398bc135e69d1ae414c79e27","before":"00676bf302a55fe94372e562a10bc8081a8856f3","commits":[{"sha":"f27c314ed47a88700ee841a24ce8fba99d9fc5a8","author":{"name":"Pau Gargallo","email":"a814f32ee2731a32a59337aaf0e8ac0b49e80bc2@gmail.com"},"message":"Seed using clocks instead of seconds\n\nUsing only time in seconds leads to the same seed for\nall executions within the same second.\n\nClocks change faster so that this does not happen.\nHowever, clock can give similar values for different the executions\nof the program since it computes the time from the start\nof the program. So we combine both time and clock.","distinct":true,"url":"https://api.github.com/repos/laurentkneip/opengv/commits/f27c314ed47a88700ee841a24ce8fba99d9fc5a8"},{"sha":"57ecac24a82956ca398bc135e69d1ae414c79e27","author":{"name":"Laurent Kneip","email":"a105144df1cb36448a116863f987d8a0f73683fb@gmail.com"},"message":"Merge pull request #68 from paulinus/feature-random-seed\n\nSeed using clocks instead of seconds","distinct":true,"url":"https://api.github.com/repos/laurentkneip/opengv/commits/57ecac24a82956ca398bc135e69d1ae414c79e27"}]}
{"actor":{"display_login":"laurentkneip"}}