HomeSort by: relevance | last modified time | path
    Searched refs:userpfx (Results 1 - 2 of 2) sorted by relevancy

  /src/external/gpl3/gcc/dist/contrib/
git-add-user-branch.sh 23 userpfx=$(git config --get "gcc-config.userpfx")
26 if [ -z "$userpfx" -o -z "$user" ]
31 branch=$(echo "$1" | sed -r "s:(${userpfx}/)?(.*)$:\2:")
41 git push users/${userpfx} ${start}:refs/users/${user}/heads/${branch}
42 git fetch -q users/${userpfx}
43 git branch ${userpfx}/${branch} remotes/users/${userpfx}/${branch}
44 echo "You are now ready to check out ${userpfx}/${branch}"
46 echo " git push users/${userpfx} ${userpfx}/${branch}
    [all...]
  /src/external/gpl3/gcc.old/dist/contrib/
git-add-user-branch.sh 23 userpfx=$(git config --get "gcc-config.userpfx")
26 if [ -z "$userpfx" -o -z "$user" ]
31 branch=$(echo "$1" | sed -r "s:(${userpfx}/)?(.*)$:\2:")
41 git push users/${userpfx} ${start}:refs/users/${user}/heads/${branch}
42 git fetch -q users/${userpfx}
43 git branch ${userpfx}/${branch} remotes/users/${userpfx}/${branch}
44 echo "You are now ready to check out ${userpfx}/${branch}"
46 echo " git push users/${userpfx} ${userpfx}/${branch}
    [all...]

Completed in 30 milliseconds