From 120065ed4682469f13497b1d090725dc5fe36f34 Mon Sep 17 00:00:00 2001
From: Kevin Brown <kevin@kevin-brown.com>
Date: Wed, 11 Sep 2019 23:10:22 -0400
Subject: [PATCH] SSH_PUBLIC_KEY is required but unused

---
 .github/workflows/docs-deploy.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/docs-deploy.yml b/.github/workflows/docs-deploy.yml
index f09764bd..9a21b47f 100644
--- a/.github/workflows/docs-deploy.yml
+++ b/.github/workflows/docs-deploy.yml
@@ -13,6 +13,7 @@ jobs:
         env:
           USERNAME: ${{ secrets.DOCUMENTATION_SSH_USERNAME }}
           SSH_PRIVATE_KEY: ${{ secrets.DOCUMENTATION_SSH_KEY }}
+          SSH_PUBLIC_KEY: not-needed
           HOST_NAME: ${{ secrets.DOCUMENTATION_SSH_HOST }}
         with:
           args: "docs/ $USERNAME@$HOST_NAME:/var/www/select2-docs/user/"