All Downloads are FREE. Search and download functionalities are using the official Maven repository.

z3-z3-4.13.0.scripts.trackall.sh Maven / Gradle / Ivy

The newest version!
#!/bin/bash

# Copyright (c) 2015 Microsoft Corporation
# 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




© 2015 - 2024 Weber Informatics LLC | Privacy Policy