From 52a3e4868eeb3c830b83d3bcfd952b6d0aef8bc2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jakobus=20Sch=C3=BCrz?= Date: Sun, 7 May 2017 01:49:47 +0200 Subject: [PATCH] xe20170507_014947 --- Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile b/Makefile index 1540e1d..b5c45b0 100644 --- a/Makefile +++ b/Makefile @@ -49,3 +49,6 @@ buildonlydeb: $(FILES) fakeroot git commit -m $(COMMIT) && git push origin master || exit 0 touch .publish-git + +pull-git: + git pull origin || exit 0