vcs-url: handle savannah projects

diff --git a/.bin/vcs-url b/.bin/vcs-url
index 0bbbcf50e945323328fc1ae8e6e7d45346b95dd1..4090c7708c24a9f02af13960fa84f44d302940c7 100755 (executable)
--- a/.bin/vcs-url
+++ b/.bin/vcs-url
@@ -82,6 +82,10 @@ git_url() {
                repo=$(echo "${remote}" | sed -e 's,^git@github.com/,,' -e 's,^https://github.com/,,' -e 's:[.]git$::')
                url="https://github.com/${repo}/commit/"
                ;;
+       git://git.sv.gnu.org/*)
+               repo=$(echo "${remote}" | sed -e 's,^git://git.sv.gnu.org/,,' -e 's:[.]git$::')
+               url="http://git.savannah.gnu.org/cgit/${repo}.git/commit/?h="
+               ;;
        *)
                echo "Unknown remote: ${remote}"
                exit 1