{"push_id":3157564565,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1fb596c17dce194845f5426b24ba898a2048c815","before":"fe03acdf11f02a5e5520c6c4d334b6ee0241e12c","commits":[{"sha":"1fb596c17dce194845f5426b24ba898a2048c815","author":{"name":"Janek Bevendorff","email":"833a898242c656cd9adb7ea6a23d0acef33aebd6@uni-weimar.de"},"message":"Flip paddings for numeric table headers","distinct":true,"url":"https://api.github.com/repos/webis-de/webis-de.github.io/commits/1fb596c17dce194845f5426b24ba898a2048c815"}]}
{"actor":{"display_login":"phoerious"}}