{"push_id":1874439710,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"185c6e43d4264b7cf92d88c99339a187ee872ced","before":"2ef8921235bb56e2a14437245fce1cfb2d69ce82","commits":[{"sha":"185c6e43d4264b7cf92d88c99339a187ee872ced","author":{"name":"Juexiao Su","email":"4cb62d1603a33e97b0d3e3c55cbc91f91c8ff0d2@gmail.com"},"message":"JSU: 1) Add execute function for tcl command","distinct":true,"url":"https://api.github.com/repos/QuantumSAT/sat_compil/commits/185c6e43d4264b7cf92d88c99339a187ee872ced"}]}
{"actor":{"display_login":"juexiao"}}