{"push_id":551989835,"size":1,"distinct_size":1,"ref":"refs/heads/staging","head":"6957533fbb7fbc9601d7378724f0669dc143425b","before":"7abc8bf8d25a28d18b54a2f16bde13172abea63f","commits":[{"sha":"6957533fbb7fbc9601d7378724f0669dc143425b","author":{"email":"93d2abd2bb9b2a7a2515f8c0a9d3577fe1d5b6dc@genode-labs.com","name":"Christian Helmuth"},"message":"rtc: rename get_current_time() to current_time()\n\nIssue #1344","distinct":true,"url":"https://api.github.com/repos/genodelabs/genode/commits/6957533fbb7fbc9601d7378724f0669dc143425b"}]}