Fix dead history on empty repository.
Merge pull request #1079 from ontohub/1078-dead_empty_repository_history

Fix dead history on empty repository.