mirror of
https://github.com/Z3Prover/z3
synced 2025-04-12 12:08:18 +00:00
merged
This commit is contained in:
commit
ed1f67f1f1
9
scripts/trackall.sh
Normal file
9
scripts/trackall.sh
Normal file
|
@ -0,0 +1,9 @@
|
||||||
|
#!/bin/bash
|
||||||
|
|
||||||
|
# Script for "cloning" (and tracking) all branches at codeplex.
|
||||||
|
# On Windows, this script must be executed in the "git Bash" console.
|
||||||
|
for branch in `git branch -a | grep remotes | grep -v HEAD | grep -v master`; do
|
||||||
|
git branch --track ${branch##*/} $branch
|
||||||
|
done
|
||||||
|
git fetch --all
|
||||||
|
git pull --all
|
Loading…
Reference in a new issue