The prior PR had added docs/ to .gitignore for developer convenience, but that causes the pkgdown workflow to fail when it tries to commit documentation.
We should address this as part of issue #412, so this is a temporary patch to fixup the CI pipeline
The prior PR had added docs/ to .gitignore for developer convenience, but that causes the pkgdown workflow to fail when it tries to commit documentation.
We should address this as part of issue #412, so this is a temporary patch to fixup the CI pipeline