Revision cd7282a1 ci/utils.py

b/ci/utils.py
724 724 
        for branch in `git branch -a | grep remotes | grep -v HEAD`; do
725 725 
            git branch --track ${branch##*/} $branch > /dev/null 2>&1
726 726 
        done
727 
        git branch
727 
        git --no-pager branch --no-color
728 728 
        """
729 729 
        webclient_branches = _run(cmd, False)
730 730 
        webclient_branches = webclient_branches.split()

Also available in: Unified diff