{"push_id":2678524121,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"891cd5952a8fec7d7b10bdb4626faba82daf8e56","before":"179b1225543626a6fe7cc19d0a9f06979b409581","commits":[{"sha":"891cd5952a8fec7d7b10bdb4626faba82daf8e56","author":{"name":"Jing Wu","email":"65068f4827e9dbeaf5081f89aa11f14f870b1870@outlook.com"},"message":"Renamed HistoryAndWarmupRegressionAlgorithm","distinct":true,"url":"https://api.github.com/repos/jingwu74/Lean/commits/891cd5952a8fec7d7b10bdb4626faba82daf8e56"}]}
{"actor":{"display_login":"jingwu74"}}