gc.sh: report real Git repo name instead of package name (in preparation to new VCS system).