Replaced repository name as search criterion with repository id

Eddy Young

2015-05-22 4cb1a97509b9b42ca7efb4fa0f727b89b044202d

 src/main/java/com/gitblit/servlet/PagesFilter.java

@@ -15,8 +15,8 @@
 */

package com.gitblit.servlet;



import javax.inject.Inject;

import javax.inject.Singleton;

import com.google.inject.Inject;

import com.google.inject.Singleton;



import com.gitblit.manager.IAuthenticationManager;

import com.gitblit.manager.IRepositoryManager;