bulk operation in git using gws file format

git-bulk

#!/bin/bash
grep -v '^#' < .projects.gws | { while IFS="|" read -r name repo; do
  if [ -n "$name" ]; then
        (
          cd "$name"
          echo  "$name ;"
          git "$@"
        )
  fi
done
}