{"push_id":808673285,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"bb517ce1f7751f2ae5591a666292806254fe9ab3","before":"c3004476ce71b280e29c67f89dfb7f94ac5b2642","commits":[{"sha":"bb517ce1f7751f2ae5591a666292806254fe9ab3","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/bb517ce1f7751f2ae5591a666292806254fe9ab3"}]}