is there any way to use github for just docs changes? running the CI is probably less important.