{"push_id":846122094,"size":1,"distinct_size":1,"ref":"refs/heads/next","head":"b4a41752c8a32bd2e971a5381aa038a2f09a6371","before":"9f12645d4789e4c7489e91860470d650e7ff82dc","commits":[{"sha":"b4a41752c8a32bd2e971a5381aa038a2f09a6371","author":{"email":"fd3fb11d20dd2b55b441515e5cc120796bf92f11@rethinkdb.com","name":"Jeroen Habraken"},"message":"Fixes the Raft leader name missing from the server names map","distinct":true,"url":"https://api.github.com/repos/rethinkdb/rethinkdb/commits/b4a41752c8a32bd2e971a5381aa038a2f09a6371"}]}