chore: ci: remove unneeded line (#104)

JoshuaKGoldberg · Feb 22, 2023 · eedf324 · eedf324
1 parent fc29e43
commit eedf324
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/release-docs.yml b/.github/workflows/release-docs.yml
@@ -74,6 +74,5 @@ jobs:
       - if: ${{ env.COVERAGE_CHANGED != '0' }}
         run: >
           git add docs/coverage.svg
-          git diff --name-only --cached --diff-filter=AM 
           git commit -m "docs: updated documentation coverage"
           git push