Implemented: https://github.com/eranif/codelite/issues/429 - when the repo is dirty run 'git stash' and 'git stash pop' before and after the git pull command