[geany/geany-plugins] 050d0d: git-ui: Add a setting to disable repository monitoring