{"push_id":3109537655,"size":1,"distinct_size":1,"ref":"refs/heads/use-maps-instead-of-orddict","head":"a88156773c543227c3305016e8cd520c56e2010e","before":"17440f509e05b22dff2581a92e6357c2511c50c7","commits":[{"sha":"a88156773c543227c3305016e8cd520c56e2010e","author":{"name":"Andre Graf","email":"bc9800b9d52a24cce72a73dd528afed53f10e5fc@dergraf.org"},"message":"fix type specs","distinct":true,"url":"https://api.github.com/repos/dergraf/ServerWideClocks/commits/a88156773c543227c3305016e8cd520c56e2010e"}]}
{"actor":{"display_login":"dergraf"}}