Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

1779 git push into a repository doesnt start jobs #1782

Merged
merged 2 commits into from Aug 14, 2016

Conversation

eugenk
Copy link
Member

@eugenk eugenk commented Aug 12, 2016

This shall fix #1779. Please test on develop, but be patient because Ontologies are created in the asynchronous jobs (not synchronously as via the web interface). It may take seconds, minutes or even hours for the ontologies to be created. If you look into the Sidekiq web interface, you see that the jobs are created. This is already deployed on develop.ontohub.org.

@eugenk eugenk force-pushed the 1779-git_push_into_a_repository_doesnt_start_jobs branch from 6ff03f8 to 2c3f0f0 Compare August 13, 2016 12:06
@tillmo
Copy link
Member

tillmo commented Aug 13, 2016

If I push ontologies, they are indeed analysed. However, the analysis can take quite long:
https://develop.ontohub.org/esslli_2016/Propositional/engine_structured///ontology_versions
https://develop.ontohub.org/esslli-2016/Propositional/engine///children

@ebolloff
Copy link
Member

Tested it on develop 👍

@eugenk eugenk merged commit 2007ce6 into staging Aug 14, 2016
@eugenk eugenk deleted the 1779-git_push_into_a_repository_doesnt_start_jobs branch August 14, 2016 14:13
tillmo pushed a commit that referenced this pull request Jan 27, 2017
* Push the job into the right redis-list.

* Fix error "unknown key: :user" at GitRepository#commits.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

git-push into a repository doesn't start jobs
3 participants