make: also add a push helper

This commit is contained in:
Franco Fichtner 2022-02-28 10:35:31 +01:00
parent f18ae14f98
commit 35c53f1010

View File

@ -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}"; \