You should be able to set polling interval, notifications, etc for a repo using the cli? ``` gitdocs config polling.interval --set 5 gitdocs config polling.interval gitdocs config polling.interval --global gitdocs config -l # list all? ```