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