master
1010-use_pundit_instead_can_can
1170-hets-binary-path
1170-settings-cleanup
1184-wrong_class_hierachy_tree_is_displayed
1190-add_deploy_task_for_data_migrations
1193-support_tree_based_routes
1490-files_in_public_are_not_accessible
1497-remove_categories_for_now
1535-ontologies_in_external_repositories_are_not_parsed
1593-undefined_method_retrieve_available_provers_for_nil_nilclass_revert
1612-handle_concurrency_of_rugged_and_cli_git
1646-services_on_ontohub_org
1646-services_on_ontohub_org_eye_config
1668-remove_locid_for_prover_output
1738-unperformant_axioms_display
1753-wait_for_sql_to_finish_before_parsing_worker
1776-online_editing_adds_crs
218-add_organisations
572-add_structure_to_error_display
824-create_a_new_file
add-specification_targets
add_upgrade_guide_to_wiki
augmenting054_displaying_ontology_consistency_status
augmenting177_exporting_logic_graph
common-settings-behavior
deleteme-testing-1476-travis-error
develop
fix-capistrano
fix_encoding_error_in_state_updater
fix_travis
improve_loc_id_with_hooks
jenkins-pr-script
jenkins_concurr_tests
jenkins_tests
master-without-secure-headers-update
proving_evaluation
re_add_oops_states_test
reactivate_coveralls
reduce_the_axiom_set_with_sine_fresym
remove_failing_chmod
revert-1783-test-build
revise-oor-architecture-diagram
run_seeds_in_test_env
staging
update_gems
update_rspec