{"push_id":712406360,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"472d45fb6f134b382638ee462d85833d7806a454","before":"265d5d2f7a140652ca18446d8eec63ca10510131","commits":[{"sha":"472d45fb6f134b382638ee462d85833d7806a454","author":{"email":"ce6c06f94913cd088afd0b3daf139353f2253076@ubuntu.com","name":"Rico Tzschichholz"},"message":"gtk+3.0: Properly specify argument of Widget.touch_event as Gdk.EventTouch","distinct":true,"url":"https://api.github.com/repos/GNOME/vala/commits/472d45fb6f134b382638ee462d85833d7806a454"}]}