repo=$(echo "${remote}" | sed -e 's,.*/,,' -e 's,[.]git$,,')
url="https://sourceware.org/git/?p=${repo}.git;a=commit;h="
;;
+ *://gcc.gnu.org/*)
+ repo=$(echo "${remote}" | sed -e 's,.*/,,' -e 's,[.]git$,,')
+ url="https://gcc.gnu.org/git/?p=${repo}.git;a=commit;h="
+ ;;
*.googlesource.com/*)
url="${remote%.git}/+/"
;;