topdir.mk: Add target git-pull-official

git-pull-official is currently an alias to git-pull-devops.

Signed-off-by: Jan Lindemann <jan@janware.com>
This commit is contained in:
Jan Lindemann 2025-11-24 11:34:03 +01:00
commit 7152a811e9

View file

@ -195,6 +195,9 @@ git-ssh-%:
bash -c "`git remote get-url --push $* | sed 's|ssh://||; s|\([^/]\+\)/\(.*\)|LC_CDPATH=/\2 ssh -o SendEnv=LC_CDPATH \1|'`" bash -c "`git remote get-url --push $* | sed 's|ssh://||; s|\([^/]\+\)/\(.*\)|LC_CDPATH=/\2 ssh -o SendEnv=LC_CDPATH \1|'`"
git-ssh: git-ssh-origin git-ssh: git-ssh-origin
git-pull-official:
make git-pull-devops
git-pull-maintainer: git-pull-maintainer:
make git-pull-$(call proj_query,getval global jw-maintainer) make git-pull-$(call proj_query,getval global jw-maintainer)