From fa52c3444c51b524facd44e514a0cbd70325e86a Mon Sep 17 00:00:00 2001
From: Sylvain Le Gall <sylvain@le-gall.net>
Date: Thu, 28 Mar 2019 23:17:01 +0100
Subject: [PATCH] Remove forge upload instructions.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index b0b7730..0cc24e6 100644
--- a/Makefile
+++ b/Makefile
@@ -43,4 +43,4 @@ configure:
 # OASIS_STOP
 
 deploy:
-	admin-gallu-deploy --forge_upload --forge_group ocaml-archive --forge_user gildor-admin
+	admin-gallu-deploy