{"push_id":2084874348,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"048af56db1f4894e2f28d360e25354f98b1c8d46","before":"e8b10301e24676a89ce8dbc5f149dca35a9cb01f","commits":[{"sha":"048af56db1f4894e2f28d360e25354f98b1c8d46","author":{"name":"Eva Zmazek","email":"2f247365da5cfdb265813ca3e4893fe7ab73fd98@gmail.com"},"message":"my_dpll(formula) že poenostavi glede na pure literals","distinct":true,"url":"https://api.github.com/repos/EvaZmazek/LVR-SAT-solver/commits/048af56db1f4894e2f28d360e25354f98b1c8d46"}]}
{"actor":{"display_login":"EvaZmazek"}}