{"push_id":1070371058,"size":1,"distinct_size":1,"ref":"refs/heads/display","head":"beee83490e9823cb4a7adc149e804b1a56886a86","before":"b6feb2b6b2a5cc6c235ff3fe58576184c8fec232","commits":[{"sha":"beee83490e9823cb4a7adc149e804b1a56886a86","author":{"email":"2433fb5c4d4c2b5f331707f961a8b0eef3be63c7@outlook.com","name":"DespairFactor"},"message":"add compiler support for GCC 7.0\n\nSigned-off-by: DespairFactor <matthewalex@outlook.com>","distinct":true,"url":"https://api.github.com/repos/zymphad/leanKernel-angler/commits/beee83490e9823cb4a7adc149e804b1a56886a86"}]}