From 8b0b4eb3664f5ee01d4173401023264dece2f1b5 Mon Sep 17 00:00:00 2001 From: Matej Focko Date: Sat, 15 Jul 2023 16:45:44 +0200 Subject: [PATCH] ci: add workaround before merging deployment PR Signed-off-by: Matej Focko --- Makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index afa44c04a..edc284af1 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,10 @@ import: ([[ -d .deployment-docs ]] && rm -rf .deployment-docs deployment) || true - git clone https://github.com/packit/deployment.git .deployment-docs + + # temporary workaround to fix the build + git clone https://github.com/mfocko/deployment.git .deployment-docs + (cd .deployment-docs && git checkout docusaurus) + mv .deployment-docs/docs/deployment deployment # ([[ -d research-docs ]] && rm -rf research-docs content/research-docs) || true