Closes #9: add delete repository permission
closes #3: display url if repo empty
Closes #11: fix showing empty commit error when viewing file/branch