[PATCH] scripts: encourage use of shorter "bugs.gnu.org" in bug URLs

[Jim Meyering]

I prefer the slightly shorter bugs.gnu.org host name in bug URLs.
This change makes our commit-message hook encourage that policy:

>From 1505812eca56994f7d6d40579133f80602564726 Mon Sep 17 00:00:00 2001
From: Jim Meyering <address@hidden>
Date: Thu, 10 May 2012 10:24:02 +0200
Subject: [PATCH] scripts: encourage use of shorter "bugs.gnu.org" in bug URLs

* scripts/git-hooks/commit-msg: Also ding debbugs.gnu.org URLs.
---
 scripts/git-hooks/commit-msg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/git-hooks/commit-msg b/scripts/git-hooks/commit-msg
index e1bb382..3c1c63d 100755
--- a/scripts/git-hooks/commit-msg
+++ b/scripts/git-hooks/commit-msg
@@ -122,7 +122,7 @@ sub check_msg($$)
   $buf =~ m!https?://bugzilla\.redhat\.com/show_bug\.cgi\?id=(\d+)!s
     and return "use shorter http://bugzilla.redhat.com/$1";;

-  $buf =~ m!https?://debbugs\.gnu\.org/cgi/bugreport\.cgi\?bug=(\d+)!s
+  $buf =~ m!https?://debbugs\.gnu\.org/(?:cgi/bugreport\.cgi\?bug=)?(\d+)!s
     and return "use shorter http://bugs.gnu.org/$1";;

   return '';
--
1.7.10.1.487.ga3935e6