{"push_id":667079371,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"369bbb52ea6bdbcf7830246dafea59bb2e1a72d2","before":"0f78b35e03212686bc578b98b9598017fb2c4ab4","commits":[{"sha":"369bbb52ea6bdbcf7830246dafea59bb2e1a72d2","author":{"email":"0829aa28881266ae8c5e13c7414c7283a231a242@gmx.de","name":"Erik Brangs"},"message":"Mention how to use customized CSS with htlatex.","distinct":true,"url":"https://api.github.com/repos/JikesRVM/jikesrvm.github.io/commits/369bbb52ea6bdbcf7830246dafea59bb2e1a72d2"}]}