From d68d48fdd4aa1e519761af1530d932d3256290c6 Mon Sep 17 00:00:00 2001 From: Franco Fichtner Date: Mon, 10 Mar 2025 08:57:52 +0100 Subject: [PATCH] make: add a 'pull' target --- Makefile | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Makefile b/Makefile index d9768e5f7..b3e498008 100644 --- a/Makefile +++ b/Makefile @@ -545,6 +545,11 @@ reset: log: ensure-stable @git log --stat -p ${CORE_STABLE} +pull: + @git checkout ${CORE_STABLE} + @git pull + @git checkout ${CORE_MAIN} + push: @git checkout ${CORE_STABLE} @git push