File indexing completed on 2026-04-09 07:58:23
0001
0002
0003 if [[ $
0004 echo 'usage: tools/create-dev-branch <branchname>'
0005 echo
0006 echo 'examples: tools/create-dev-branch fancydev'
0007 echo ' tools/create-dev-branch "my fancy dev"'
0008 exit 1
0009 fi
0010
0011 echo "Switching to dev"
0012 git checkout dev
0013
0014 echo "Updating dev"
0015 git pull --all --prune --progress
0016
0017 echo "Rebasing dev"
0018
0019 git reset --hard upstream/dev
0020
0021 if [ $? != 0 ]; then
0022 echo "Can't rebase to dev. Unstaged changes?"
0023 exit 1
0024 fi
0025
0026 echo "Creating dev branch"
0027 git checkout -b dev-${1//[^a-zA-Z0-9]/_} dev
0028
0029 echo "Done"