GitHub PushEvent at 2014-07-10 11:56:34
Repository: gitg
Actor: gnomesysadmins
Payload: {"shas":[["af0f6ac19fe2885a23e40a9c07c0690c2fe418ba","20643af28f656a4cfec392d8855e63511169e7d9@gnome.org","Remove use of deprecated margin/padding","Jesse van den Kieboom",true]],"size":1,"ref":"refs/heads/master","head":"af0f6ac19fe2885a23e40a9c07c0690c2fe418ba"}