From 35c53f1010192f39ae24467e1132e6cfc977d979 Mon Sep 17 00:00:00 2001
From: Franco Fichtner <franco@opnsense.org>
Date: Mon, 28 Feb 2022 10:35:31 +0100
Subject: [PATCH] make: also add a push helper

---
 Makefile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Makefile b/Makefile
index b41a21a15..99d30775a 100644
--- a/Makefile
+++ b/Makefile
@@ -485,6 +485,11 @@ rebase:
 log:
 	@git log --stat -p stable/${CORE_ABI}
 
+push:
+	@git checkout stable/${CORE_ABI}
+	@git push
+	@git checkout master
+
 test: want-phpunit7-php${CORE_PHP}
 	@if [ "$$(${VERSIONBIN} -v)" != "${CORE_PKGVERSION}" ]; then \
 		echo "Installed version does not match, expected ${CORE_PKGVERSION}"; \