{"push_id":786408199,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"a0fb2325c2c85a2afa0feba607e2735d8b567046","before":"75ee819eb3fa296d464fa2135bb46f9b9c9acdc6","commits":[{"sha":"a0fb2325c2c85a2afa0feba607e2735d8b567046","author":{"email":"d18ad74e05790bf38333be4af8c80a012a9a87bc@t-online.de","name":"Patrick Bender"},"message":"fixed problem with capitalization of some filenames","distinct":true,"url":"https://api.github.com/repos/uds-datalab/PDBF/commits/a0fb2325c2c85a2afa0feba607e2735d8b567046"}]}