{"push_id":1650353155,"size":1,"distinct_size":0,"ref":"refs/heads/fork_master","head":"a357409964f36fa71d4c2b4b2b3e80c369adcefe","before":"457b01556f1797d313247e728c1225e120880b45","commits":[{"sha":"a357409964f36fa71d4c2b4b2b3e80c369adcefe","author":{"name":"Dominic Chen","email":"7bd76328e42fa0554e1708466e278079d05f2b4d@gmail.com"},"message":"[analyzer] Add new Z3 constraint manager backend\n\nSummary: Implement new Z3 constraint manager backend.\n\nReviewers: zaks.anna, dcoughlin, NoQ, xazax.hun\n\nSubscribers: mgorny, cfe-commits\n\nDifferential Revision: https://reviews.llvm.org/D28952","distinct":false,"url":"https://api.github.com/repos/ddcc/clang/commits/a357409964f36fa71d4c2b4b2b3e80c369adcefe"}]}
{"actor":{"display_login":"ddcc"}}