Mkdocs dev server pulling from a remote Git repo, updates can be triggered via web hook.