make: add a 'pull' target

2026-03-13 00:07:27 +00:00 · 2025-03-10 08:57:52 +01:00 · 2025-03-10 08:57:52 +01:00 · d68d48fdd4
commit d68d48fdd4
parent 13b68dde51
1 changed files with 5 additions and 0 deletions
--- a/5
+++ b/5
@ -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