{"push_id":582332656,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"305bf53b9e7d3d568a5bde8439adafea75eb95a8","before":"59b02c97c6c1f5ad2095d7a0abb251866e03bdd7","commits":[{"sha":"305bf53b9e7d3d568a5bde8439adafea75eb95a8","author":{"email":"21ffc0ea4a46909157137e672862d7c84ce429a0@uni-muenster.de","name":"Rene Milk"},"message":"adds config.opts/ to search dirs for opt files","distinct":true,"url":"https://api.github.com/repos/wwu-numerik/dune-demos-bin/commits/305bf53b9e7d3d568a5bde8439adafea75eb95a8"}]}