{"push_id":1012932516,"size":1,"distinct_size":1,"ref":"refs/heads/dom0","head":"4df91964765a8d30e09e3e4b2eb8ce6ba914401a","before":"7ec65e62186ba238c159d8be5b2c4cf30c7ed5e9","commits":[{"sha":"4df91964765a8d30e09e3e4b2eb8ce6ba914401a","author":{"email":"7b1e7fc647cefd8aa63b4833c8db20865bb8f894@gmail.com","name":"Georg Guba"},"message":"partial support for timer signals of periodic tasks","distinct":true,"url":"https://api.github.com/repos/702nADOS/genode/commits/4df91964765a8d30e09e3e4b2eb8ce6ba914401a"}]}