ci: add workaround before merging deployment PR

Signed-off-by: Matej Focko <[email protected]>
packit · Jul 15, 2023 · 8b0b4eb · 8b0b4eb
1 parent 8ac504c
commit 8b0b4eb
Showing 1 changed file with 5 additions and 1 deletion.
diff --git 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