From 9de1a56ac4a888289cd758d033cb02ece2bbca76 Mon Sep 17 00:00:00 2001 From: James Moger Date: Wed, 13 Nov 2013 20:16:59 -0500 Subject: Tweak pull request ref display Change-Id: I07d05eb45e40c233facfa3674f9528d2bda4b5d5 --- src/main/java/com/gitblit/wicket/panels/RefsPanel.java | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'src/main/java/com/gitblit/wicket/panels') diff --git a/src/main/java/com/gitblit/wicket/panels/RefsPanel.java b/src/main/java/com/gitblit/wicket/panels/RefsPanel.java index 1a763119..7a16f4a2 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 @@ public class RefsPanel extends Panel { 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 -- cgit v1.2.3