Select repositories tab when looking at a repository
Merge branch 'augmenting245_redesigning_website' of github.com:ontohub/ontohub into augmenting245_redesigning_website
Merge branch 'develop' into develop.ontohub.org