make: add merge target for "community" origin

This commit is contained in:
Franco Fichtner 2026-04-14 08:36:34 +02:00
parent ae326511d1
commit 28ba22564b

View file

@ -134,6 +134,10 @@ push:
@${GIT} push
@${GIT} checkout ${CORE_MAIN}
merge: ${CORE_MAIN}
@${GIT} fetch community
@${GIT} merge community/${CORE_MAIN}
checkout:
.for DIR in ${.CURDIR}/src
.if exists(${DIR})