git-resolve-remote

   1 #! /bin/sh
   2 # See https://stackoverflow.com/q/77560684/7976758
   3
   4 # Uses a transient repository so it's not effective to resolve many URLs.
   5 # For many URLs create one repository, add remotes,
   6 # get rewritten URLs and then remove the repository.
   7
   8 set -e
   9
  10 if [ $# -ne 1 ]; then
  11     echo "Usage $0 URL" >&2
  12     exit 1
  13 fi
  14
  15 cd /tmp
  16 rm -rf _git_resolve_remote.tmp
  17 git init --quiet _git_resolve_remote.tmp
  18 cd _git_resolve_remote.tmp
  19
  20 git remote add origin "$1"
  21 git remote get-url origin
  22
  23 cd ..
  24 exec rm -rf _git_resolve_remote.tmp