From: Ruben Beltran del Rio 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=sidebyside;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