Software: Apache. PHP/5.4.45 

uname -a: Linux webm003.cluster110.gra.hosting.ovh.net 5.15.167-ovh-vps-grsec-zfs-classid #1 SMP Tue
Sep 17 08:14:20 UTC 2024 x86_64 

uid=243112(mycochar) gid=100(users) groups=100(users)  

Safe-mode: OFF (not secure)

/home/mycochar/gcc-12.2.0/contrib/   drwxr-xr-x
Free 0 B of 0 B (0%)
Your ip: 216.73.216.218 - Server ip: 213.186.33.19
                            

Viewing file:     git-add-vendor-branch.sh (1.26 KB)      -rwxr-xr-x

#! /bin/sh -e

# Create a new upstream vendor branch.

# Usage:
#  contrib/git-add-vendor-branch.sh <vendor>/<branch-name> <base>

usage ()
{
    echo "Usage:"
    echo "  $0 <vendor>/<branch-name> <start-point>"
    echo
    echo "<vendor> must have already been set up using contrib/git-fetch-vendor.sh"
    exit 1
}

if [ $# != 2 ]
then
    usage
fi

vendor=$(echo "$1" | sed -r "s:([^/]*)/.*$:\1:")
branch=$(echo "$1" | sed -r "s:[^/]*/(.*)$:\1:")
start=$2

# Sanity check the new branch argument.  If there is no '/', then the
# vendor will be the same as the entire first argument.
if [ -z "$vendor" -o -z "$branch" -o ${vendor} = $1 ]
then
    usage
fi

# Check that we know about the vendor
url=$(git config --get "remote.vendors/${vendor}.url"||true)
if [ -z "$url" ]
then
    echo "Cannot locate remote data for vendor ${vendor}.  Have you set it up?"
    exit 1
fi

git branch --no-track ${vendor}/${branch} ${start}
git push vendors/${vendor} ${vendor}/${branch}:refs/vendors/${vendor}/heads/${branch}
git fetch -q vendors/${vendor}
git branch --set-upstream-to=remotes/vendors/${vendor}/${branch} ${vendor}/$branch
echo "You are now ready to check out ${vendor}/${branch}"
echo "To push the branch upstream, use:"
echo
echo "git push vendors/${vendor} ${vendor}/${branch}"