From: Ruben Beltran del Rio <redacted>
Date: Wed, 7 Oct 2020 21:03:28 +0000 (+0200)
Subject: Rename upload to publish
X-Git-Url: https://git.r.bdr.sh/rbdr/junction/commitdiff_plain/7ca06df84c95382b897491f7460009d8b3ddc2fe?ds=inline;hp=e50e067d034493b837bb7c8773d982c6468299a3

Rename upload to publish
---

diff --git a/server/Makefile b/server/Makefile
index 153bf67..81d2919 100644
--- a/server/Makefile
+++ b/server/Makefile
@@ -13,7 +13,7 @@ run: build
 
 package: build
 
-upload: build
+publish: build
 	docker push $(repo_full_name)
 
 clean: clean-docker-build