From 4583f8ae2c7edf585e05fa70ffa25cecadc82457 Mon Sep 17 00:00:00 2001 From: Franco Fichtner Date: Fri, 17 May 2024 08:46:28 +0200 Subject: [PATCH] make: add a little stable branch helper --- Makefile | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Makefile b/Makefile index e49e01821..c2021bbbc 100644 --- a/Makefile +++ b/Makefile @@ -521,6 +521,11 @@ rebase: @git rebase -i @git checkout ${CORE_DEVEL} +reset: + @git checkout ${CORE_STABLE} + @git reset --hard HEAD~1 + @git checkout ${CORE_DEVEL} + log: ensure-stable @git log --stat -p ${CORE_STABLE}