{"push_id":1984807875,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5c86c1674211b2522ea5c5ee7bb375212179eafc","before":"08be62e80a5e8361836d53e35506b264675dccfd","commits":[{"sha":"5c86c1674211b2522ea5c5ee7bb375212179eafc","author":{"name":"Simon Bürger","email":"13959c411ead315f2c2adb8e1a680ae2ca5e908c@rwth-aachen.de"},"message":"use MonoTime.currTime instead of Clock.currAppTick","distinct":true,"url":"https://api.github.com/repos/krox/sat/commits/5c86c1674211b2522ea5c5ee7bb375212179eafc"}]}
{"actor":{"display_login":"krox"}}