{"push_id":831804781,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"18df2a87b2e4f873d3f878e70e83c61948c83977","before":"a121ebab3bc9d7208b00f2b5da23e103be33761c","commits":[{"sha":"18df2a87b2e4f873d3f878e70e83c61948c83977","author":{"email":"e070c2b34578b6d45883a1758fd51d493b57ed28@gmail.com","name":"hardtail0112"},"message":"Ensure restart.sh and killingServer.sh working","distinct":true,"url":"https://api.github.com/repos/hardtail0112/CHERI-remote/commits/18df2a87b2e4f873d3f878e70e83c61948c83977"}]}