Tweak pull request ref display

Change-Id: I07d05eb45e40c233facfa3674f9528d2bda4b5d5

src/main/java/com/gitblit/wicket/panels/RefsPanel.java

diff --git a/src/main/java/com/gitblit/wicket/panels/RefsPanel.java b/src/main/java/com/gitblit/wicket/panels/RefsPanel.java
index 1a76311..7a16f4a 100644
--- a/src/main/java/com/gitblit/wicket/panels/RefsPanel.java
+++ b/src/main/java/com/gitblit/wicket/panels/RefsPanel.java
@@ -122,11 +122,13 @@
 					cssClass = "otherRef";

 				} else if (name.startsWith(Constants.R_PULL)) {

 					// Pull Request ref

-					name = "pull #" + name.substring(Constants.R_PULL.length());

-					if (name.endsWith("/head")) {

+					String num = name.substring(Constants.R_PULL.length());

+					if (num.endsWith("/head")) {

 						// strip pull request head from name

-						name = name.substring(0, name.length() - "/head".length());

+						num = num.substring(0, num.length() - "/head".length());

 					}

+					name = "pr #" + num;

+					tooltip = "pull request #" + num;

 					cssClass = "pullRef";

 				} else if (name.startsWith(Constants.R_REMOTES)) {

 					// remote branch