BUG make git fetching more robust, always demand branch name (in repo URI separated by space...)