{"push_id":960970948,"size":6,"distinct_size":2,"ref":"refs/heads/master","head":"8898cdfd392e8cc9d1457dd0c7eec0a4afece120","before":"5cca1dabf3bad3ae93d902905e4c6922521d5718","commits":[{"sha":"5240a3b3aa986cbc68a464d372fb8a38c4b08945","author":{"email":"2134d707ddda05b61dba8753be81b2b86a9a1976@gmail.com","name":"fgwei"},"message":"update something","distinct":false,"url":"https://api.github.com/repos/sireum/amandroid/commits/5240a3b3aa986cbc68a464d372fb8a38c4b08945"},{"sha":"d2118cd2bae6e0be0c1094ecd7def890d6c234f0","author":{"email":"33f7c08affee7782fcb4c3f7a23191be6b35ec73@USF-Gold-Wifi-226-3-140.laptops.usf.edu","name":"Fengguo Wei"},"message":"update classpath","distinct":false,"url":"https://api.github.com/repos/sireum/amandroid/commits/d2118cd2bae6e0be0c1094ecd7def890d6c234f0"},{"sha":"331bf1dd5f7bf6bb24a0b10c07eafbf152eef0d0","author":{"email":"33f7c08affee7782fcb4c3f7a23191be6b35ec73@USF-Gold-Wifi-226-3-140.laptops.usf.edu","name":"Fengguo Wei"},"message":"Merge branch 'develop' of https://github.com/sireum/amandroid into develop","distinct":false,"url":"https://api.github.com/repos/sireum/amandroid/commits/331bf1dd5f7bf6bb24a0b10c07eafbf152eef0d0"},{"sha":"c528bbbdd5629758cf726e52af308d138efc5fa1","author":{"email":"2134d707ddda05b61dba8753be81b2b86a9a1976@gmail.com","name":"Fengguo Wei"},"message":"test","distinct":false,"url":"https://api.github.com/repos/sireum/amandroid/commits/c528bbbdd5629758cf726e52af308d138efc5fa1"},{"sha":"e0f2ef9482521403607a078e58ead09fc96dcca8","author":{"email":"33f7c08affee7782fcb4c3f7a23191be6b35ec73@USF-Gold-Wifi-226-1-175.laptops.usf.edu","name":"Fengguo Wei"},"message":"update classpath","distinct":true,"url":"https://api.github.com/repos/sireum/amandroid/commits/e0f2ef9482521403607a078e58ead09fc96dcca8"},{"sha":"8898cdfd392e8cc9d1457dd0c7eec0a4afece120","author":{"email":"33f7c08affee7782fcb4c3f7a23191be6b35ec73@USF-Gold-Wifi-226-1-175.laptops.usf.edu","name":"Fengguo Wei"},"message":"Merge branch 'develop'","distinct":true,"url":"https://api.github.com/repos/sireum/amandroid/commits/8898cdfd392e8cc9d1457dd0c7eec0a4afece120"}]}