{"push_id":2200443576,"size":1,"distinct_size":1,"ref":"refs/heads/redmem-1608","head":"3c7dde37475052eb35292d4fb5e4ad676ab2ac95","before":"ec63884e988fab61644cfd7fbae59a5198b9bce4","commits":[{"sha":"3c7dde37475052eb35292d4fb5e4ad676ab2ac95","author":{"name":"Josef Stark","email":"7f29a3810962d75d808bb7fcabca6b87e4d70ccc@tum.de"},"message":"Pass Timer service to child","distinct":true,"url":"https://api.github.com/repos/jmstark/genode-16-08_redundant_memory_CR/commits/3c7dde37475052eb35292d4fb5e4ad676ab2ac95"}]}
{"actor":{"display_login":"jmstark"}}