Merge pull request #1073 from gitblit/1062-DocEditorUpdates

Paul Martin

2016-04-30 a502d96a860456ec5e8c96761db70f7cabb74751

 src/main/java/com/gitblit/models/RepositoryUrl.java

@@ -41,8 +41,8 @@
      this.permission = permission;

   }



   public boolean isExternal() {

      return permission == null;

   public boolean hasPermission() {

      return permission != null;

   }



   @Override