0.8.1
Among others a few notable changes are:
- Enable the evaluation of imported ontologies inside of a private repository
- Update HetsInstance regularly (detect up-state and version of registered Hets instances)
- Fixes of the axiom selection for proving
- Lots of server configuration/deployment improvements and fixes
The list of merged pull requests since the previous release is:
- Merge pull request #1418 from ontohub/default_configuration_changes
- Merge pull request #1417 from ontohub/1395-problem_with_e_mail_config
- Merge pull request #1416 from ontohub/1414-put_cp_keys_to_data_ssh_cp_keys
- Merge pull request #1409 from ontohub/1406-ruby_version_deployment
- Merge pull request #1410 from ontohub/update_documentation_add_rake_secret_replace
- Merge pull request #1408 from ontohub/1407-allow_email_setting_not_to_contain_the_hostname
- Merge pull request #1400 from ontohub/1384-validate_existence_of_the_cp_keys_binary
- Merge pull request #1401 from ontohub/1396-settings_set_paths_implicitly
- Merge pull request #1405 from ontohub/update_gems
- Merge pull request #1402 from ontohub/1399-allow_to_configure_sidekiq_log_level
- Merge pull request #1404 from ontohub/fix_settings_validations
- Merge pull request #1403 from ontohub/1398-add_secret_token_yml_key_to_settings
- Merge pull request #1372 from ontohub/1371-print_better_readable_settings_validation_errors
- Merge pull request #1392 from ontohub/fix-bundle-libv8
- Merge pull request #1389 from ontohub/1388-invalid_html
- Merge pull request #1385 from ontohub/fix-elasticsearch-docs
- Merge pull request #1382 from ontohub/bundle-update
- Merge pull request #1387 from ontohub/fix_axiom_selection
- Merge pull request #1378 from ontohub/1351-remove_iri_field
- Merge pull request #1379 from ontohub/1373-update_hets_instances_regularly
- Merge pull request #1255 from ontohub/update_gems
- Merge pull request #1377 from ontohub/1376-make_ontohub_org_database_consistent
- Merge pull request #1375 from ontohub/1374-improve_migration_performance
- Merge pull request #1136 from ontohub/558-access_token_for_private_repositories
- Merge branch 'staging' into update_gems
- Merge pull request #1368 from ontohub/hotfix-bundle
- Merge pull request #1367 from ontohub/1366-bundle_is_not_complete_for_deployment