{"push_id":668187625,"size":56,"distinct_size":16,"ref":"refs/heads/1287-parse_szs_status_from_prover_output","head":"5dfc07c1f13194491892ab2064fc25e183b376e4","before":"6e64104e13fa0e759f5c580e581c6e62fae7bf36","commits":[{"sha":"e86f209c76711f484b10a3bb649b9a64f5399d05","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Use correct table for JOIN\n\nWhen introducing `table`, we accidentally replaced the wrong table name\nwith the `table` variable.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/e86f209c76711f484b10a3bb649b9a64f5399d05"},{"sha":"db149239590d2a39d399f12cd01609b190ea4763","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Replace be_nil, be_false, be_true by be(*).","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/db149239590d2a39d399f12cd01609b190ea4763"},{"sha":"b73209eaacd5579c7fc9ecd16d3284b4480cfef1","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Replace pending by skip.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/b73209eaacd5579c7fc9ecd16d3284b4480cfef1"},{"sha":"7ca38d75d045fade73b81bff6fdf34f4755d75fb","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Replace shoulda's set_the_flash by  rspec's expect.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/7ca38d75d045fade73b81bff6fdf34f4755d75fb"},{"sha":"d9dc865fa2bbac031ba96842ef7970ba12a930b8","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Remove old spec that didn't test anything\n\nThe flash should not be set on a validation error.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/d9dc865fa2bbac031ba96842ef7970ba12a930b8"},{"sha":"1b9d6d9fca60381800e5b55d4ae1c6c3750e08e7","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Abort test execution unless elasticsearch is running.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/1b9d6d9fca60381800e5b55d4ae1c6c3750e08e7"},{"sha":"962877b6ee9396d63e28eff3c203a6df698bbd40","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Fix mistakenly converting the port in the env.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/962877b6ee9396d63e28eff3c203a6df698bbd40"},{"sha":"87ffb54204084121b4e36b9a93e15e9cb1748334","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Exit unsuccessfully without raising an error.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/87ffb54204084121b4e36b9a93e15e9cb1748334"},{"sha":"ca9eb751ff5930a68ac56115b5b199f1e6b6f265","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Puts to stderr.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/ca9eb751ff5930a68ac56115b5b199f1e6b6f265"},{"sha":"08cc6f83fd5bb1c2bc15314c54f26b6d15695b98","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Merge pull request #1308 from ontohub/1303-let_the_default_rake_task_fail_if_elasticsearch_is_not_running\n\nAbort test execution unless elasticsearch is running.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/08cc6f83fd5bb1c2bc15314c54f26b6d15695b98"},{"sha":"9a879ec5dd82fdffdd4ab45fe7c371247c5143b8","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Merge pull request #1339 from ontohub/1338-column_oops_responses_symbols_id_does_not_exist\n\nUse correct table for JOIN","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/9a879ec5dd82fdffdd4ab45fe7c371247c5143b8"},{"sha":"23d06590229bd2548f97980d9b18a6748d1500b7","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Report coverage only on demand and in default task\n\nA simple run of `rspec spec/something_spec.rb:123` spends a lot of time on\ngenerating the coverage report.\n\nThis disables the coverage report by default, except for the default rake task.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/23d06590229bd2548f97980d9b18a6748d1500b7"},{"sha":"6016b57464cb20652d2c32c8a73ad6b83e85c206","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Emphasize test fixture generation as prerequisite.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/6016b57464cb20652d2c32c8a73ad6b83e85c206"},{"sha":"e937ecc97e91f77e9f1f63de78c8bd8f074865b9","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Let the caller decide if simplecov should be used.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/e937ecc97e91f77e9f1f63de78c8bd8f074865b9"},{"sha":"08f1cbe628793888743ea49b9e1b6952604909d2","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Merge pull request #1322 from ontohub/report_coverage_only_on_default_task\n\nReport coverage only on default task","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/08f1cbe628793888743ea49b9e1b6952604909d2"},{"sha":"a1d7c039725b5f763ce156cbf3d46699f69a8e93","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Bump hets version to 1430921534.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/a1d7c039725b5f763ce156cbf3d46699f69a8e93"},{"sha":"f227035e531aa63992df54aaf0ab26a2db2c295a","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Fix first_or_create! not knowing the display_name.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/f227035e531aa63992df54aaf0ab26a2db2c295a"},{"sha":"f34f85a43d1d3c992613379420c3f5749ab02cae","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Adjust to new hets prover keys\n\n'name' was renamed to 'identifier' and\n'display_name' was renamed to 'name'","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/f34f85a43d1d3c992613379420c3f5749ab02cae"},{"sha":"6fadfb25128ceabd908515de9fec06b649923fed","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Merge pull request #1343 from ontohub/1342-adjust_to_changed_hets_interface\n\n1342 adjust to changed hets interface","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/6fadfb25128ceabd908515de9fec06b649923fed"},{"sha":"117f8971b6e087e65927e63d194a4ba45d6b342c","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Merge pull request #1332 from ontohub/refactoring-get_rid_of_rspec_deprecations\n\nRefactoring get rid of rspec deprecations","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/117f8971b6e087e65927e63d194a4ba45d6b342c"}]}