{"push_id":667879893,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2dcab0f42e38ca28b26cef4b53410f2cda8a5840","before":"3393d5b33cca9741af09557e1f6d481d8491204b","commits":[{"sha":"2dcab0f42e38ca28b26cef4b53410f2cda8a5840","author":{"email":"f5c588d3d1033dd4e56f4756e0f619e5a19546de@rwth-aachen.de","name":"Dominik Klein"},"message":"uci option dialog\ntodo: save options, type of input vals","distinct":true,"url":"https://api.github.com/repos/asdfjkl/jerry/commits/2dcab0f42e38ca28b26cef4b53410f2cda8a5840"}]}