{"push_id":1423319312,"size":3,"distinct_size":3,"ref":"refs/heads/interval","head":"6b9b790864b197bf978272a2fa7989feaa30f800","before":"221735ce114c5160ec0b696d56475fb9e6770fca","commits":[{"sha":"77b8d9f69824bceeffbf19ad7534b9af8c6812c5","author":{"name":"Sungkeun Cho","email":"a16945f9127b0d57e0e41f1d4c88b1317df86033@ropas.snu.ac.kr"},"message":"Add alias of temp variable","distinct":true,"url":"https://api.github.com/repos/ropas/infer/commits/77b8d9f69824bceeffbf19ad7534b9af8c6812c5"},{"sha":"8e4ef9df2da4b8f3c90c111ddcf6693a3c67e638","author":{"name":"Sungkeun Cho","email":"a16945f9127b0d57e0e41f1d4c88b1317df86033@ropas.snu.ac.kr"},"message":"Add alias of temp variable","distinct":true,"url":"https://api.github.com/repos/ropas/infer/commits/8e4ef9df2da4b8f3c90c111ddcf6693a3c67e638"},{"sha":"6b9b790864b197bf978272a2fa7989feaa30f800","author":{"name":"Sungkeun Cho","email":"a16945f9127b0d57e0e41f1d4c88b1317df86033@ropas.snu.ac.kr"},"message":"Merge branch 'interval' of https://github.com/ropas/infer into interval\n\nConflicts:\n\tinfer/src/checkers/bufferOverrun.ml","distinct":true,"url":"https://api.github.com/repos/ropas/infer/commits/6b9b790864b197bf978272a2fa7989feaa30f800"}]}
{"actor":{"display_login":"skcho"}}