Fixed: Currently the git plugin has a problem to do "git pull --rebase" if there are
changes that need to be stashed first (René Kraus)