{"push_id":3038356164,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4cec82d6ab6c9879798d6e1faad667c97cb741fa","before":"d077fbb0446035011d67867ea1c29ac46a735af9","commits":[{"sha":"4cec82d6ab6c9879798d6e1faad667c97cb741fa","author":{"name":"ziqiaozhou","email":"2311bed6cc12823f6ceef4a461d1f05af5950b76@cs.unc.edu"},"message":"merge with up-to-date stp & add interface to convert constraint to cnf","distinct":true,"url":"https://api.github.com/repos/ziqiaozhou/stp/commits/4cec82d6ab6c9879798d6e1faad667c97cb741fa"}]}
{"actor":{"display_login":"ziqiaozhou"}}