{"push_id":860336304,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2e265b893e7e486d18a00184b4b03ca8226143a6","before":"30991741c579f0856134466fe4342dd9f518dd61","commits":[{"sha":"2e265b893e7e486d18a00184b4b03ca8226143a6","author":{"email":"d2c9e6179841e0b4634563d0affa4d082c7edf38@users.noreply.github.com","name":"Manuela Hopp"},"message":"some cleaning up. does anybody know how a node can find out what its id is?","distinct":true,"url":"https://api.github.com/repos/jmercouris/distributed_algorithms/commits/2e265b893e7e486d18a00184b4b03ca8226143a6"}]}