parse_date_basic(): let the system handle DST conversion

diff --git a/git-request-pull.sh b/git-request-pull.sh
index 5c1599752314696ef1f317095d1786493fbfc935..d5500fde4658410db477008617730cb5799f310e 100755 (executable)
--- a/git-request-pull.sh
+++ b/git-request-pull.sh
@@ -119,6 +119,12 @@ then
        status=1
 fi
 
+# Special case: turn "for_linus" to "tags/for_linus" when it is correct
+if test "$ref" = "refs/tags/$pretty_remote"
+then
+       pretty_remote=tags/$pretty_remote
+fi
+
 url=$(git ls-remote --get-url "$url")
 
 git show -s --format='The following changes since commit %H: