{"push_id":2892844998,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7a48154f28d50470b9e5e8022e20405803ca7113","before":"73f7fd3c77ca2d9e1ac7663357bd3187833bc5f9","commits":[{"sha":"7a48154f28d50470b9e5e8022e20405803ca7113","author":{"name":"tilsche","email":"21eebec413d788fe403a73eb601281932dc7d578@tu-dresden.de"},"message":"Allow updating maps after one thread ends, fixes #85\n\nIt seems that we can in fact update the maps after a thread was merged. The merging itself uses only the ip, not the meta data from maps.","distinct":true,"url":"https://api.github.com/repos/tud-zih-energy/lo2s/commits/7a48154f28d50470b9e5e8022e20405803ca7113"}]}
{"actor":{"display_login":"tilsche"}}