From 7cd1bede6b107aaad6a74a008b8b3b134c9d98f4 Mon Sep 17 00:00:00 2001
From: bsweger <bsweger@gmail.com>
Date: Mon, 29 Jan 2024 13:04:32 -0500
Subject: [PATCH] Stop ignoring docs/

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
---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index aa39c35..0377622 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,7 +11,6 @@ inst/doc
 # pre-commit isn't part of the team workflow, so don't commit the config
 **/.pre-commit-config.yaml
 
-docs
 Meta
 
 # data generated by test suite and other dev operations