{"push_id":808659477,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8b09c3c3f9e0849282c69b298214bc5b0519049e","before":"96db7472282c7ecdbf54ca5cec90eade2cd32f26","commits":[{"sha":"8b09c3c3f9e0849282c69b298214bc5b0519049e","author":{"email":"228435aad149ad4da137b7fd83bf40af2994af29@mpi-sws.org","name":"Maolin Yang"},"message":"edited Synchronization.tex","distinct":true,"url":"https://api.github.com/repos/jjchentw/Self-Suspending-Tasks-in-Real-Time-Systems-A-Historical-Perspective/commits/8b09c3c3f9e0849282c69b298214bc5b0519049e"}]}