reload automatically, whenever possible, if anything changes in the repository (eg. I made a git pull --rebase manually).