Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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
- Loading branch information