fix default branch in history
Merge pull request #1054 from ontohub/fix-default_branch_in_history

fix default branch in history